OWL2Jess: A Transformational Implementation of the OWL Semantics

The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency of OWL specific reasoning tools. While the expressivity limitations may be overcame by extending the OWL language (e.g. with rules), the reasoning with such heterogeneous knowledge bases is still an open issue. In this paper we propose OWL2Jess, a prototypical tool which enables the transformation of OWL ontologies to Jess rule bases and thus enables OWL models to be extended by means of rules. Facts are derived from an initial OWL file by one XSLT stylesheet, while the RDF(S) and OWL Semantics are pre-defined as Jess rules. By making hidden knowledge explicit, OWL2Jess achieves the knowledge compilation: the implicit subsumption and membership relations can be subsequently identified using the Jess rule engine.

[1]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[2]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[3]  Timothy W. Finin,et al.  SweetJess: Translating DAMLRuleML to JESS , 2002, RuleML.

[4]  Werner Ceusters,et al.  Ontology and medical terminology: Why description logics are not enough , 2003 .

[5]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[6]  Elena Paslaru Bontas,et al.  Reasoning paradigms for OWL ontologies , 2004 .

[7]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.

[8]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[9]  Christine Golbreich,et al.  Combining Rule and Ontology Reasoners for the Semantic Web , 2004, RuleML.

[10]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[11]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[12]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[13]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[14]  Ian Horrocks,et al.  Using Vampire to Reason with OWL , 2004, SEMWEB.

[15]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[16]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

[17]  Elena Paslaru Bontas,et al.  Reasoning paradigms for SWRL-enabled ontologies , 2005 .