A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web

  • Pakornpong Pothipruk
  • Guido Governatori
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3806)


Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family of web ontology languages based on description logic, has been proposed for the Semantic Web. Answering a query over the SemanticWeb is thus not trivial, but a deductive process. However, the reasoning on OWL with data has an efficiency problem. Thus, we introduce optimization techniques for the inference algorithm. This work demonstrates the techniques for instance checking and instance retrieval problems with respect to \(\mathcal{ALC}\) description logic which covers certain parts of OWL.


Description Logic Individual Optimization Query Answering Reasoning Service Boolean Query 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akahani, J., Hiramatsu, K., Kogure, K.: Coordinating heterogeneous information services based on approximate ontology translation. In: Proceedings of AAMAS 2002 Workshop on Agentcities: Challenges in Open Agent Systems, pp. 10–14 (2002)Google Scholar
  2. 2.
    Arens, Y., Hsu, C., Knoblock, C.A.: Query processing in the sims information mediator. In: Advanced Planning Technology (1996)Google Scholar
  3. 3.
    Berners-Lee, T.: Weaving the Web: the Original Design and Ultimate Destiny of the World Wide Web by its Inventor, HarperSanFrancisco, San Francisco (1999)Google Scholar
  4. 4.
    Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), Massachusetts, pp. 151–162 (1991)Google Scholar
  5. 5.
    Donini, F.M., Massacci, F.: Exptime tableaux for \(\mathcal{ALC}\). Artificial Intelligence 124(1), 87–138 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Goh, C.H.: Representing and Reasoning about Semantic Conflicts in Heterogeneous Information Sources. PhD thesis, MIT (1997)Google Scholar
  7. 7.
    Goodchild, A.: Database Discovery in the Organizational Environment. PhD thesis, University of Queensland (1998)Google Scholar
  8. 8.
    Haarslev, V., Möller, R.: Optimization strategies for instance retrieval. In: Proceedings of the International Workshop on Description Logics, DL 2002 (2002)Google Scholar
  9. 9.
    Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The instance store: Description logic reasoning with large numbers of individuals. In: International Workshop on Description Logics (DL 2004), pp. 31–40 (2004)Google Scholar
  10. 10.
    McGuinness, D.L., Fikes, R., Stein, L.A., Hendler, J.: Daml-ont: An ontology language for the semantic web. In: Fensel, D., Hendler, J., Lieberman, H., Wahlster, W. (eds.) Spinning the Semantic Web: Bringing the World Wide Web to its Full Potential. MIT Press, Cambridge (2003)Google Scholar
  11. 11.
    Mena, E., Kashyap, V., Sheth, A., Illarramendi, A.: Observer: An approach for query processing in global information systems based on interoperability between pre-existing ontologies. In: Proceedings of the 1st IFCIS: International Conference on Cooperative Information Systems, CoopIS 1996 (1996)Google Scholar
  12. 12.
    Pan, J.Z., Horrocks, I.: Rdfs(fa): A dl-ised sub-language of rdfs. In: Proceedings of the 2003 International Workshop on Description Logics, DL 2003 (2003)Google Scholar
  13. 13.
    Stuckenschmidt, H.: Query processing on the semantic web. Künstliche Intelligenz 17 (2003)Google Scholar
  14. 14.
    Tessaris, S.: Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, University of Manchester (2001)Google Scholar
  15. 15.
    Wache, H., Vögele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., Hübner, S.: Ontology-based integration of information - a survey of existing approaches. In: Proceedings of the IJCAI 2001 Workshop: Ontologies and Information Sharing, pp. 108–117 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Pakornpong Pothipruk
    • 1
  • Guido Governatori
    • 1
  1. 1.School of ITEEUniversity of QueenslandAustralia

Personalised recommendations