This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Rule-Based Object-Oriented OWL Reasoner
March 2008 (vol. 20 no. 3)
pp. 397-410
In this paper we describe O-DEVICE, a memory-based knowledge base system for reasoning and querying OWL ontologies by implementing RDF/OWL entailments in the form of production rules in order to apply the formal semantics of the language. Our approach is based on a transformation procedure of OWL ontologies into an Object-Oriented schema and the application of inference production rules over the generated objects in order to implement the various semantics of OWL. In order to enhance the performance of the system, we introduce a dynamic approach of generating production rules for ABOX reasoning and an incremental approach of loading ontologies. O-DEVICE is built over the CLIPS production rule system, using the object-oriented language COOL to model and handle ontology concepts and RDF resources. One of the contributions of our work is that we enable a well-known and efficient production rule system to handle OWL ontologies. We argue that although native OWL rule reasoners may process ontology information faster, they lack some of the key features that rule systems offer, such as the efficient manipulation of the information through complex rule programs. We present a comparison of our system with other OWL reasoners, showing that O-DEVICE can constitute a practical rule environment for ontology manipulation.

[1] W3C Semantic Web Activity, http://www.w3.org/2001sw/, 2007.
[2] Web Ontology Language, http://www.w3.org/2004OWL/, 2007.
[3] E. Sirin, B. Parsia, B. Grau, A. Kalyanpur, and Y. Katz, “Pellet: A Practical OWL DL Reasoner,” J. Web Semantics, 2007.
[4] V. Haarslev and R. Möller, “Racer: A Core Inference Engine for the Semantic Web,” Proc. Second Int'l Workshop Evaluation of Ontology-Based Tools, pp. 27-36, 2003.
[5] F. Baader and U. Sattler, “An Overview of Tableau Algorithms for Description Logics,” Studia Logica, vol. 69, pp. 5-40, 2001.
[6] B. Motik and R. Studer, “KAON2—A Scalable Reasoning Tool for the Semantic Web,” Proc. Second European Semantic Web Conf. (ESWC '05), 2005.
[7] U. Hustadt, B. Motik, and U. Sattler, “Reducing SHIQ Description Logic to Disjunctive Datalog Programs,” Proc. Ninth Int'l Conf. Principles of Knowledge Representation and Reasoning (KR '04), pp.152-162, 2004.
[8] A. Kiryakov, D. Ognyanov, and D. Manov, “OWLIM—A Pragmatic Semantic Repository for OWL,” Proc. Int'l Workshop Scalable Semantic Web Knowledge Base Systems (SSWS '05), 2005.
[9] OWLJessKB: A Semantic Web Reasoning Tool, http://edge.cs. drexel.edu/assemblies/software owljesskb/, 2007.
[10] M. Kifer, G. Lausen, and J. Wu, “Logical Foundations of Object-Oriented and Frame-Based Languages,” J. ACM, vol. 42, pp. 741-843, 1995.
[11] Y. Zou, T. Finin, and H. Chen, “F-OWL: An Inference Engine for Semantic Web,” Proc. Third Int'l Workshop Formal Approaches to Agent-Based Systems (FAABS '04), 2004.
[12] S. Decker, M. Erdmann, D. Fensel, and R. Studer, “Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information,” Proc. IFIP TC2/WG2.6 Eighth Working Conf. Database Semantics–Semantic Issues in Multimedia Systems, vol. 138, pp. 351-369, 1999.
[13] D. Tsarkov, A. Riazanov, S. Bechhofer, and I. Horrocks, “Using Vampire to Reason with OWL,” Proc. Third Int'l Semantic Web Conf. (ISWC '04), pp. 471-485, 2004.
[14] O. Corby, R. Dieng-Kuntz, and C. Faron-Zucker, “Querying the Semantic Web with the CORESE Search Engine,” Proc. Third Prestigious Applications of Intelligent Systems Conf. (PAIS '04), pp.705-709, 2004.
[15] CLIPS, http://www.ghg.netclips, 2007.
[16] G. Meditskos and N. Bassiliades, “Towards an Object-Oriented Reasoning System for OWL,” Proc. OWL: Experiences and Directions Workshop, 2005.
[17] G. Meditskos and N. Bassiliades, “O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies,” Proc. Fourth Hellenic Conf. Artificial Intelligence, 2006.
[18] S. Bechhofer, R. Moller, and P. Crowther, “The DIG Description Interface,” Proc. Int'l Workshop Description Logics (DL '03), 2003.
[19] SWRL, http://www.w3.org/SubmissionSWRL/, 2007.
[20] SPARQL, http://www.w3.org/TR rdf-sparql-query/, 2007.
[21] B. Motik, I. Horrocks, R. Rosati, and U. Sattler, “Can OWL and Logic Live Together Happily Ever After,” Proc. Fifth Int'l Semantic Web Conf. (ISWC '06), 2006.
[22] H.J. Horst, “Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary,” J. Web Semantics, vol. 3, pp. 79-115, 2005.
[23] OWL Web Ontology Language Reference (Appendix B), http://www.w3.org/TRowl-ref/, 2007.
[24] N. Bassiliades and I. Vlahavas, “R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata,” Int'l J. Semantic Web and Information Systems, vol. 2, no. 2, pp. 24-90, 2006.
[25] The O-DEVICE System, http://iskp.csd.auth.gr/systems/o-device o-device.html, 2007.
[26] SEMINTEC—Semantically-Enabled Data Mining Techniques, http://www.cs.put.poznan.pl/alawrynowicz semintec.htm, 2007.
[27] VICODI Ontology, http:/www.vicodi.org/, 2007.
[28] Y. Guo, Z. Pan, and J. Heflin, “LUBM: A Benchmark for OWL Knowledge Base Systems,” J. Web Semantics, vol. 3, no. 2, pp. 158-182, 2005.
[29] L. Ma, Y. Yang, Z. Qiu, G. Xie, Y. Pan, and S. Liu, “Towards a Complete OWL Ontology Benchmark,” Proc. Third European Semantic Web Conf. (ESWC '06), pp. 125-139, 2006.
[30] Y. Guo, A. Qasem, Z. Pan, and J. Heflin, “A Requirements Driven Framework for Benchmarking Semantic Web Knowledge Base Systems,” IEEE Trans. Knowledge and Data Eng., vol. 19, no. 2, Feb. 2007.
[31] B. McBride, “Jena: Implementing the RDF Model and Syntax Specification,” Proc. Second Int'l Workshop Semantic Web (SemWeb), 2001.
[32] TRREE—Triple Reasoning and Rule Entailment Engine, http://www.ontotext.comtrree/, 2007.
[33] D. Tsarkov and I. Horrocks, “FaCT++ Description Logic Reasoner: System Description,” Proc. Third Int'l Joint Conf. Automated Reasoning (IJCAR), 2006.
[34] V. Haarslev, R. Möller, and M. Wessel, “Querying the Semantic Web with Racer + nRQL,” Proc. Third Int'l Workshop Applications of Description Logics (ADL), 2004.
[35] D. Tsarkov and I. Horrocks, “DL Reasoner vs. First-Order Prover,” Proc. Int'l Workshop Description Logics (DL '03), pp. 152-159, 2003.
[36] J.B. Kopena and W.C. Regli, “DAMLJessKB: A Tool for Reasoning with the Semantic Web,” Proc. Second Int'l Semantic Web Conf. (ISWC), 2003.
[37] Jess, http://herzberg.ca.sandia.govjess, 2007.
[38] J. Minsu and J.C. Sohn, “Bossam: An Extended Rule Engine for OWL Inferencing,” Proc. Third Int'l Workshop Rules and Rule Markup Languages for the Semantic Web (RuleML '04), pp. 128-138, 2004.
[39] B. Ludäscher, R. Himmeröder, G. Lausen, W. May, and C. Schlepphorst, “Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective,” Information Systems, special issue on semistructured data, vol. 23, no. 8, pp. 589-612, 1998.
[40] G. Yang, M. Kifer, and C. Zhao, “FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web,” Proc. Second Int'l Conf. Ontologies, Databases and Applications of Semantics (ODBASE), 2003.
[41] K. Sagonas, T. Swift, and D.S. Warren, “XSB as an Efficient Deductive Database Engine,” Proc. ACM SIGMOD '94, pp. 442-453, 1994.
[42] N. Bassiliades, E. Kontopoulos, and G. Antoniou, “A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web,” Proc. First Int'l Conf. Rules and Rule Markup Languages for the Semantic Web (RuleML '05), pp. 172-186, 2005.
[43] G. Meditskos and N. Bassiliades, “A Semantic Web Service Discovery and Composition Prototype Framework Using Production Rules,” Proc. ESWC Workshop OWL-S: Experiences and Future Developments, June 2007.
[44] G. Meditskos and N. Bassiliades, “Object-Oriented Similarity Measures for Semantic Web Service Matchmaking,” Proc. Fifth IEEE European Conf. Web Services (ECOWS '07), pp. 57-66, Nov. 2007.
[45] OWL-S: Semantic Markup for Web Services, http://www.w3. org/SubmissionOWL-S/, 2007.

Index Terms:
Inference engines, Ontology languages, Rule-based processing, Object-Oriented Programming
Citation:
Georgios Meditskos, Nick Bassiliades, "A Rule-Based Object-Oriented OWL Reasoner," IEEE Transactions on Knowledge and Data Engineering, vol. 20, no. 3, pp. 397-410, March 2008, doi:10.1109/TKDE.2007.190699
Usage of this product signifies your acceptance of the Terms of Use.