Abstract
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within \(\mathcal{ALEHF_R+}\) TBoxes.
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
Horrocks, I., Patel-Schneider, P.: Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1, 345–357 (2004)
Borgida, A., Franconi, E., Horrocks, I., McGuinness, D., Patel-Schneider, P.: Explaining \(\mathcal{ALC}\) subsumption. In: Proc. of the Int. Workshop on Description Logics (DL 1999), Linköping, Sweden, pp. 37–40 (1999)
Patel-Schneider, P., Swartout, B.: Description-Logic Knowledge Representation System Specification (1993), Working Version (Draft)
Haarslev, V., Möller, R.: Description of the Racer System and its Applications. In: Proc. ot the Int. Workshop on Description Logics (DL 2001), Stanford, CA, USA (2001)
Liebig, T., Halfmann, M.: Explaining Subsumtion in \(\mathcal{ALEHF}_{R^+}\) TBoxes. In: Int. Workshop on Description Logics, DL 2005 (2005) (to appear)
Kwong, F.: Explaining Description Logic Reasoning. In: Proc. of the 2004 Int. Workshop on Description Logics (DL 2004), Whistler, BC, Canada, p. 210 (2004)
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)
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
Liebig, T., Halfmann, M. (2005). A Tableau-Based Explainer for DL Subsumption. In: Beckert, B. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2005. Lecture Notes in Computer Science(), vol 3702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11554554_26
Download citation
DOI: https://doi.org/10.1007/11554554_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28931-9
Online ISBN: 978-3-540-31822-4
eBook Packages: Computer ScienceComputer Science (R0)