Paper Info
Title
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Abstract
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically for ontology processing. Prolog, with its logic-based, declarative semantics offers many advan- tages as a host programming language for querying and processing OWL2 ontologies. The SWI-Prolog semweb library provides some support for OWL but until now there has been a lack of any library providing direct and comprehensive support for OWL2. We have developed Thea, a library based directly on the OWL2 functional- style syntax, allowing storage and manipulation of axioms as a Prolog database. Thea can translate ontologies to Description Logic programs but the emphasis is on using Prolog as an application programming and processing language rather than a reasoning engine. Thea offers the abil- ity to seamless connect to the java OWL API and OWLLink servers. Thea also includes support for SWRL. In this paper we provide examples of using Thea for processing ontolo- gies, and compare the results to alternative methods. Thea is available from GitHub: http://github.com/vangelisv/thea
Year
Venue
Keywords
2009
OWLED
object oriented programming languages,programming language,description logic,domain specific language
DocType
Citations 
PageRank 
Conference
18
1.20
References 
Authors
16
3
Name
Order
Citations
PageRank
Vangelis Vassiliadis1211.63
Jan Wielemaker2181.54
Chris Mungall331636.22