Metacompiling OWL Ontologies

Summary, in English

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 this approach that allows typed frontends to be generated for specific ontologies, and to which the desired functionality can be added as separate aspects. Our tool makes use of the JastAdd meta-compilation system which is based on reference attribute grammars. We describe the architecture of our tool and evaluate the approach on applications in industrial robotics.

• Författare: Anders Nilsson; Görel Hedin
• Redaktör: Uwe Assmann; Anthony Sloane
• Avdelning/ar: Institutionen för reglerteknik; Institutionen för datavetenskap; ELLIIT: the Linköping-Lund initiative on IT and mobile communication; Programvaruteknik
• Publiceringsår: 2011
• Språk: Engelska
• Sidor: 354-366
• Publikation/Tidskrift/Serie: Lecture Notes in Computer Science
• Volym: 6940
• Länkar: http://dx.doi.org/10.1007/978-3-642-28830-2_20
• Dokumenttyp: Konferensbidrag
• Förlag: Springer
• Ämne: Control Engineering; Computer Science
• Conference name: SLE'11: 4th International Conference on Software Language Engineering
• Conference date: 2011-07-03 - 2011-07-04
• Conference place: Braga, Portugal
• Status: Published
• Forskningsgrupp: LCCC
• ISBN/ISSN/Övrigt: ISSN: 1611-3349; ISSN: 0302-9743; ISBN: 978-3-642-28830-2; ISBN: 978-3-642-28829-6