O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies

  • Georgios Meditskos
  • Nick Bassiliades
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3955)


This paper reports on the implementation of a rule system, called O-DEVICE, for reasoning about OWL instances using deductive rules. O-DEVICE exploits the rule language of the CLIPS production rule system and transforms OWL ontologies into an object-oriented schema of COOL. During the transformation procedure, OWL classes are mapped to COOL classes, OWL properties to class slots and OWL instances to COOL objects. The purpose of this transformation is twofold: a) to exploit the advantages of the object-oriented representation and access all the properties of instances in one step, since properties are encapsulated inside resource objects; b) to be able to use a deductive object-oriented rule language for querying and creating maintainable views of OWL instances, which operates over the object-oriented schema of CLIPS, and c) to answer queries faster, since the implied relationships due to the rich OWL semantics have been pre-computed. The deductive rules are compiled into CLIPS production rules. The rich open-world semantics of OWL are partly handled by the incremental transformation procedure and partly by the rule compilation procedure.


Production Rule Rule System Deductive Rule Closed World Assumption Rule Language 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Angele J, Boley H., J. de Bruijn, Fensel D., Hitzler P., Kifer M., Krummenacher R., Lausen H., Polleres A., Studer R.: Web Rule Language (WRL), Technical Report, http://www.wsmo.org/wsml/wrl/wrl.html
  2. 2.
    Bassiliades, N., Vlahavas, I.: R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. International Journal on Semantic Web and Information Systems 2(2) (to appear, 2006)Google Scholar
  3. 3.
    Bassiliades, N., Vlahavas, I., Elmagarmid, A.K.: E DEVICE: An extensible active knowledge base system with multiple rule type support. IEEE TKDE 12(5), 824–844 (2000)Google Scholar
  4. 4.
    Bassiliades, N., Vlahavas, I., Sampson, D.: Using Logic for Querying XML Data. In: Web-Powered Databases, ch. 1, pp. 1–35. Idea-Group Publishing (2003)Google Scholar
  5. 5.
    Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: SWSL-rules: A rule language for the semantic web. In: W3C rules workshop, Washington DC, USA (April 2005)Google Scholar
  6. 6.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)CrossRefGoogle Scholar
  7. 7.
    Bikakis, A., Antoniou, G.: DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web 2005. In: Proc. 25th American National Conference on Artificial Intelligence, AAAI-2005 (2005)Google Scholar
  8. 8.
    Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In: Proc. Int. Semantic Web Working Symp., pp. 381–402 (2001)Google Scholar
  9. 9.
    Chen, H., Zou, Y., Kagal, L., Finin, T.: F-OWL: An OWL Inference Engine in Flora-2, http://fowl.sourceforge.net/
  10. 10.
    CLIPS 6.23 Basic Programming Guide, http://www.ghg.net/clips
  11. 11.
    Gandon, F.L., Sheshagiri, M., Sadeh, N.M.: ROWL: Rule Language in OWL and Translation Engine for JESS, http://mycampus.sadehlab.cs.cmu.edu/public_pages/ROWL/ROWL.html
  12. 12.
    Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: Proc. RuleML Workshop (2002)Google Scholar
  13. 13.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, Member submission, W3C (May 2004), http://www.w3.org/Submission/SWRL/
  14. 14.
    Laera, L., Tamma, V.A.M., Bench-Capon, T.J.M., Semeraro, G.: SweetProlog: A System to Integrate Ontologies and Rules. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 188–193. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  15. 15.
    McBride, B.: Jena: Implementing the RDF Model and Syntax Specification. In: Proc. 2nd Int. Workshop on the Semantic Web (2001)Google Scholar
  16. 16.
    Meditskos, G., Bassiliades, N.: Towards an Object-Oriented Reasoning System for OWL. In: Int. Workshop on OWL Experiences and Directions, Galway, Ireland, November 11-12 (2005)Google Scholar
  17. 17.
  18. 18.
    Rule Interchange Format Working Group, W3C, http://www.w3.org/2005/rules/wg
  19. 19.
    Web Ontology Language (OWL), http://www.w3.org/2004/OWL/

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Georgios Meditskos
    • 1
  • Nick Bassiliades
    • 1
  1. 1.Department of InformaticsAristotle University of ThessalonikiGreece

Personalised recommendations