Abstract
Various data sources on the Web tend to be highly dynamic; this is evident in prominent Web services frameworks in which devices register or deregister their descriptions quite rapidly and in Semantic Web portals which allow content authors to modify or extend underlying ontologies and submit content. Such applications often leverage Description Logic (DL) reasoning for a variety of tasks (e.g., classifying Web service descriptions, etc); however, this can introduce substantial overhead due to content fluctuation, as DL reasoners have only been considered for relatively static knowledge bases. This work aims to provide more efficient DL reasoning techniques for frequently changing instance bases (ABoxes). More specifically, we investigate the process of incrementally updating tableau completion graphs used for reasoning in the expressive DLs \(\mathcal{SHOQ}\) and \(\mathcal{SHIQ}\), which correspond to a large subset of the W3C standard Web Ontology Language, OWL-DL. We present an algorithm for updating completion graphs under the syntactic addition and removal of ABox assertions. We also provide an empirical analysis of the approach through an implementation in the OWL-DL reasoner, Pellet.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914853_71.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)
Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning 14, 149–180 (1995)
Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43–95. Cambridge University Press, Cambridge (2003)
Doyle, J.: A truth maintenance system. Artificial Intelligence (1979)
Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to dLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216–231. Springer, Heidelberg (2005)
Flouris, G., Plexousakis, D., Antoniou, G.: Updating description logic using the agm theory. In: 7th International Symposium on Logical Formalizations of Commonsense Reasoning (2005)
Gupta, A., Mumick, I.: Materialized views: Techniques, implementation, and applications. MIT press, Cambridge (1999)
Haarslev, V., Moller, R.: Description logic systems with concrete domains: Applications for the semantic web. In: Int. Workshop on KR meets Databases 2003 (2003)
Haarslev, V., Möller, R.: Incremental query answering for implementing document retrieval services. In: Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, pp. 85–94 (2003)
Halaschek-Wiener, C., Kalyanpur, A., Parsia, B.: Extending tableau tracing for abox updates. In: UMIACS Tech Report (2006), http://www.mindswap.org/papers/2006/aboxTracingTR2006.pdf
Horrocks, I.: Implementation and optimisation techniques. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 313–355. Cambridge University Press, Cambridge (2003)
Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan Kaufmann, San Francisco (2005)
Kalyanpur, A.: Debugging and repair of owl ontologies. Ph.D. Dissertation, University of Maryland, College Park, http://www.mindswap.org/papers/2006/AdityaThesis-DebuggingOWL.pdf
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics - Special Issue of the Semantic Web Track of WWW 2005 (2005)
Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology (2003)
Liebig, T., Noppens, O.: ontoTrack: Combining browsing and editing with reasoning and explaining for OWL lite ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 244–258. Springer, Heidelberg (2004)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: International Conference of Principles of Knowledge Representation and Reasoning(KR) (2006)
Nebel, B.: Base revision operations and schemes: Semantics, representation, and complexity (1994)
Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: The First International Semantic Web Conference (2002)
Parsia, B., Sirin, E.: Pellet: An owl dl reasoner. In: Third International Semantic Web Conference - Poster (2004)
Roger, M., Simonet, A., Simonet, M.: Toward updates in description logics. In: International Workshop on Knowledge Representation meets Databases (2002)
Sirin, E., Parsia, B., Hendler, J.: Composition-driven filtering and selection of semantic web services. IEEE Intelligent Systems 19(4), 42–49 (2004)
Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. Journal of Web Semantics 1(1), 27–46 (2003)
Uschold, M., Clark, P., Dickey, F., Fung, C., Smith, S., Uczekaj, S., Wilke, M., Bechhofer, S., Horrocks, I.: A semantic infosphere. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 882–896. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Halashek-Wiener, C., Parsia, B., Sirin, E. (2006). Description Logic Reasoning with Syntactic Updates. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. OTM 2006. Lecture Notes in Computer Science, vol 4275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11914853_44
Download citation
DOI: https://doi.org/10.1007/11914853_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48287-1
Online ISBN: 978-3-540-48289-5
eBook Packages: Computer ScienceComputer Science (R0)