Metacompiling OWL Ontologies
Ontologies, formal knowledge representation, and reasoning are technologies that have begun to gain substantial interest in recent years. We present a high-level declarative approach to writing application programs for specific ontologies, based on viewing the ontology as a domain-specific language.Our approach is based on declarative meta-compilation techniques. We have implemented a tool using t