On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics

Authors

  • Stephanie McIntyre University of Waterloo
  • Alexander Borgida Rutgers University
  • David Toman University of Waterloo
  • Grant Weddell University of Waterloo

DOI:

https://doi.org/10.1609/aaai.v33i01.33012995

Abstract

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