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.
Similar content being viewed by others
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)