Dimitrios A. Koutsomitropoulos, Dimitrios P. Meidanis, Anastasia N. Kandili, Theodore S. Papatheodorou


The recent advent of the Semantic Web has given rise to the need for efficient and sound methods that would provide reasoning support over the knowledge scattered on the Internet. Description Logics and DL-based inference engines in particular play a significant role towards this goal, as they seem to have overlapping expressivity with the Semantic Web de facto language, OWL. In this paper we argue that DLs currently constitute one of the most tempting available formalisms to support reasoning with OWL. Further, we present and survey a number of DL based systems that could be used for this task. Around one of them (Racer) we build our Knowledge Discovery Interface, a web application that can be used to pose intelligent queries to Semantic Web documents in an intuitive manner. As a proof of concept, we then apply the KDI on the CIDOC-CRM reference ontology and discuss our results.


  1. H. Alani, S. Kim, D. E. Millard, M. J. Weal, W. Hall, P. H. Lewis and N. R. Shadbolt. Automated OntologyBased Knowledge Extraction from Web Documents. IEEE Intelligent Systems, 18(1): 14-21, 2003.
  2. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider and L. A. Stein. OWL Web Ontology Language Reference. W3C Recommendation, 2004. http://www.w3.org/ TR/owl-ref/
  3. N. Crofts, M. Doerr and T. Gill. The CIDOC Conceptual Reference Model: A standard for communicating cultural contents. Cultivate Interactive, issue 9, 2003. http://www.cultivate-int.org/issue9/chios/
  4. R. Fikes, P. Hayes and I. Horrocks. DQL - A Query Language for the Semantic Web. KSL TR 02-05, 2002.
  5. R. Fikes, P. Hayes and I. Horrocks. OWL-QL: A Language for Deductive Query Answering on the Semantic Web. KSL TR 03-14, 2003.
  6. R. Fikes, J. Jenkins, and F. Gleb. JTP: A System Architecture and Component Library for Hybrid Reasoning. In Proc. of the 7th World Multiconference on Systemics, Cybernetics, and Informatics, 2003.
  7. A. Gomez-Perez and O. Corcho. Ontology Languages for the Semantic Web. IEEE Intelligent Systems, 17(1):54-60, 2002.
  8. R. Guha, R. McCool. TAP: A Semantic Web Platform. Computer Networks, 42(5):557-577, 2003.
  9. V. Haarslev and R. Möller. Racer: A Core Inference Engine for the Semantic Web. In Proc. of the 2nd International Workshop on Evaluation of Ontologybased Tools (EON2003), pp. 27-36, 2003.
  10. J. Heflin, J. Hendler and S. Luke. Reading between the Lines: Using SHOE to Discover Implicit Knowledge from the Web. In AI and Information Integration: Papers from the 1998 Workshop, pp.51-57. AAAI Press, 1998.
  11. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In D. Fensel, K. Sycara, and J. Mylopoulos (eds.): Proc. of the 2nd Int. Semantic Web Conference (ISWC 2003), pp. 17-29. Springer, 2003.
  12. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
  13. I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI 2002), pp. 277-281, 2002.
  14. E. Hsu and D. McGuinness. Wine Agent: Semantic Web Testbed Application. In Proc. Of Workshop on Description Logics, 2003.
  15. J. Kopena and W. C. Regli. DAMLJessKB: A tool for reasoning with the Semantic Web. IEEE Intelligent Systems, 18(3): 74-77, 2003.
  16. J. Mayfield and T. Finin. Information retrieval on the Semantic Web: Integrating inference and retrieval. In Proc. of SIGIR Workshop on the Semantic Web, 2003.
  17. B. McBridge. Jena: A Semantic Web Toolkit. IEEE Internet Computing, 6(6):55-59, 2002.
  18. D. Tsarkov and I. Horrocks, Reasoner Prototype: Implementing new reasoner with datatype support. IST-2001-33052 WonderWeb Del. 13, http://wonderweb. semanticweb.org

Paper Citation

in Harvard Style

A. Koutsomitropoulos D., P. Meidanis D., N. Kandili A. and S. Papatheodorou T. (2006). OWL-BASED KNOWLEDGE DISCOVERY USING DESCRIPTION LOGICS REASONERS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-972-8865-44-3, pages 43-50. DOI: 10.5220/0002441400430050

in Bibtex Style

author={Dimitrios A. Koutsomitropoulos and Dimitrios P. Meidanis and Anastasia N. Kandili and Theodore S. Papatheodorou},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},

in EndNote Style

JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
SN - 978-972-8865-44-3
AU - A. Koutsomitropoulos D.
AU - P. Meidanis D.
AU - N. Kandili A.
AU - S. Papatheodorou T.
PY - 2006
SP - 43
EP - 50
DO - 10.5220/0002441400430050