A goal-directed implementation of query answering for hybrid MKNF knowledge bases

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift

Research output: Contribution to journalArticle

Abstract

Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning, while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by the Coherent Description Framework Type-1 ( $\mathcal{ALCQ}$) theory.

Original languageEnglish (US)
Pages (from-to)239-264
Number of pages26
JournalTheory and Practice of Logic Programming
Volume14
Issue number2
DOIs
StatePublished - 2014
Externally publishedYes

Fingerprint

Negation as Failure
Knowledge Base
Ontology
Query
Well-founded Semantics
Semantics
Reasoning
Knowledge representation
Knowledge Representation
Knowledge
Monotonic
Exception
Closed

Keywords

  • description logics
  • implementation
  • knowledge representation
  • well-founded semantics

ASJC Scopus subject areas

  • Artificial Intelligence
  • Software
  • Hardware and Architecture
  • Theoretical Computer Science
  • Computational Theory and Mathematics

Cite this

A goal-directed implementation of query answering for hybrid MKNF knowledge bases. / Gomes, Ana Sofia; Alferes, José Júlio; Swift, Terrance.

In: Theory and Practice of Logic Programming, Vol. 14, No. 2, 2014, p. 239-264.

Research output: Contribution to journalArticle

Gomes, Ana Sofia ; Alferes, José Júlio ; Swift, Terrance. / A goal-directed implementation of query answering for hybrid MKNF knowledge bases. In: Theory and Practice of Logic Programming. 2014 ; Vol. 14, No. 2. pp. 239-264.
@article{97d171c840e24d748bd5d5daf1f4497e,
title = "A goal-directed implementation of query answering for hybrid MKNF knowledge bases",
abstract = "Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning, while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by the Coherent Description Framework Type-1 ( $\mathcal{ALCQ}$) theory.",
keywords = "description logics, implementation, knowledge representation, well-founded semantics",
author = "Gomes, {Ana Sofia} and Alferes, {Jos{\'e} J{\'u}lio} and Terrance Swift",
year = "2014",
doi = "10.1017/S1471068412000439",
language = "English (US)",
volume = "14",
pages = "239--264",
journal = "Theory and Practice of Logic Programming",
issn = "1471-0684",
publisher = "Cambridge University Press",
number = "2",

}

TY - JOUR

T1 - A goal-directed implementation of query answering for hybrid MKNF knowledge bases

AU - Gomes, Ana Sofia

AU - Alferes, José Júlio

AU - Swift, Terrance

PY - 2014

Y1 - 2014

N2 - Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning, while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by the Coherent Description Framework Type-1 ( $\mathcal{ALCQ}$) theory.

AB - Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning, while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by the Coherent Description Framework Type-1 ( $\mathcal{ALCQ}$) theory.

KW - description logics

KW - implementation

KW - knowledge representation

KW - well-founded semantics

UR - http://www.scopus.com/inward/record.url?scp=84902170132&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84902170132&partnerID=8YFLogxK

U2 - 10.1017/S1471068412000439

DO - 10.1017/S1471068412000439

M3 - Article

VL - 14

SP - 239

EP - 264

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 2

ER -