Author name cluster

Stephanie McIntyre

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers

1 author row

AAAI Conference 2019 Conference Paper

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

Stephanie McIntyre
Alexander Borgida
David Toman
Grant Weddell

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.

PDF Details

KR Conference 2018 Short Paper

On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA

Stephanie McIntyre
Alex Borgida
David Toman
Grant Weddell

Standard reasoning problems are complete for EXPTIME in common feature-based description logics—ones in which all roles are restricted to being functional. We show how to control conjunctions on left-hand-sides of subsumptions in such a way so as to ensure polynomial time complexity. In particular, we present a PTIME algorithm for reasoning about knowledge base consistency. We then show how the resulting description logic allows features to be partial, not just total functions. Algorithms for polynomial-time query answering are presented. The above, in combination with referring expressions, provide a richer capability for ontology-based data access to relational data sources.