Enables a user to generate formal correspondences, or rules, that map concepts and data from different but related ontologies. These mapping rules are internally represented with the Web-PDDL language, which is a subset of first-order logic. The Web-PDDL rules are then translated into Ontology Web Language (OWL) format as output to the user. For more information about the motivation for this work and its implementation, please read the journal publications referenced below.
An input OWL (Web-PDDL) ontology/dataset can be loaded by either of the following methods: