Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Arens, Y., Hsu, C., Knoblock, C.A.: Query processing in the sims information mediator. In: Advanced Planning Technology (1996)
Berners-Lee, T.: Weaving the Web: the Original Design and Ultimate Destiny of the World Wide Web by its Inventor, HarperSanFrancisco, San Francisco (1999)
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)
Donini, F.M., Massacci, F.: Exptime tableaux for \(\mathcal{ALC}\). Artificial Intelligence 124(1), 87–138 (2000)
Goh, C.H.: Representing and Reasoning about Semantic Conflicts in Heterogeneous Information Sources. PhD thesis, MIT (1997)
Goodchild, A.: Database Discovery in the Organizational Environment. PhD thesis, University of Queensland (1998)
Haarslev, V., Möller, R.: Optimization strategies for instance retrieval. In: Proceedings of the International Workshop on Description Logics, DL 2002 (2002)
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)
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)
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)
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)
Stuckenschmidt, H.: Query processing on the semantic web. Künstliche Intelligenz 17 (2003)
Tessaris, S.: Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, University of Manchester (2001)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pothipruk, P., Governatori, G. (2005). A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, JY., Sheng, Q.Z. (eds) Web Information Systems Engineering – WISE 2005. WISE 2005. Lecture Notes in Computer Science, vol 3806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581062_10
Download citation
DOI: https://doi.org/10.1007/11581062_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30017-5
Online ISBN: 978-3-540-32286-3
eBook Packages: Computer ScienceComputer Science (R0)