On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics
DOI:
https://doi.org/10.1609/aaai.v33i01.33012995Abstract
Standard reasoning problems are complete for EXPTIME in common feature-based description logics—ones in which all roles are restricted to being functions. We show how to control conjunctions on left-hand-sides of subsumptions and use this restriction to develop a parameter-tractable algorithm for reasoning about knowledge base consistency. We then show how the resulting logic can simulate partial features, and present algorithms for efficient query answering in that setting.
Downloads
Published
2019-07-17
How to Cite
McIntyre, S., Borgida, A., Toman, D., & Weddell, G. (2019). On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 2995-3002. https://doi.org/10.1609/aaai.v33i01.33012995
Issue
Section
AAAI Technical Track: Knowledge Representation and Reasoning