On referring expressions in query answering over first order knowledge bases

Alexander Borgida, David Toman, Grant Weddell

Research output: Contribution to journalConference articlepeer-review

33 Scopus citations


A referring expression in linguistics is any noun phrase identifying an object in a way that will be useful to interlocutors. In the context of a query over a first order knowledge base K, constant symbols occurring in K are the artifacts usually used as referring expressions in certain answers to the query. In this paper, we begin to explore how this can be usefully extended by allowing a class of more general formulas, called singular referring expressions, to replace constants in this role. In particular, we lay a foundation for admitting singular referring expressions in certain answer computation for queries overK. An integral part of this foundation are characterization theorems for identification properties of singular referring expressions for queries annotated with a domain specific language for referring concept types. Finally, we apply this framework in the context of tractable description logic dialects, showing how identification properties can be determined at compiletime for conjunctive queries, and how off-the-shelf conjunctive query evaluation for these dialects can be used in query evaluations, preserving, in all cases, underlying tractability.

Original languageEnglish (US)
Pages (from-to)319-328
Number of pages10
JournalProceedings of the International Conference on Knowledge Representation and Reasoning
StatePublished - 2016
Event15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 - Cape Town, South Africa
Duration: Apr 25 2016Apr 29 2016

All Science Journal Classification (ASJC) codes

  • Software
  • Logic


Dive into the research topics of 'On referring expressions in query answering over first order knowledge bases'. Together they form a unique fingerprint.

Cite this