What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

In open environments, agents need to reason with knowledge from various sources, represented in different languages. Multi-Context Systems (MCSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way. Whereas most knowledge bases (contexts) typically considered within an MCS are written in some description logic or some non-monotonic rule-based language, sometimes more expressive languages that combine the features of both these paradigms are necessary, such as Hybrid MKNF. However, since agents may not have access to specialized reasoners for contexts using all these languages, it proves useful to have tools that equivalently simplify or transform a given MCS into another MCS that only uses the reasoners that are available. In this article, we thoroughly investigate the relation between MCSs and Hybrid MKNF. We provide a number of transformations that show that Hybrid MKNF knowledge bases can be embedded into MCSs without the need for specific MKNF reasoners. To complete the picture, we also show that when an MKNF reasoner is available, it can be used to handle several description logic and rule contexts joined into a single MKNF context. Furthermore, we show that we can encapsulate the non-monotonic transfer of information between different contexts in one rule language context, allowing e.g. the use of external non-monotonic reasoners.
Original languageEnglish
Pages (from-to)1279-1311
JournalJournal Of Logic And Computation
Volume24
Issue number6(SI)
DOIs
Publication statusPublished - Dec 2014

Fingerprint

Description Logics
Knowledge Base
Context
Simplify
Paradigm
Language
Transform
Necessary
Knowledge
Expressive Language

Keywords

  • Answer set programming
  • Description logics
  • Knowledge representation
  • Logic programming
  • MKNF knowledge bases
  • Multi-context systems

Cite this

@article{60b2bcedb2d64bca8292997c5bc5db64,
title = "What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems",
abstract = "In open environments, agents need to reason with knowledge from various sources, represented in different languages. Multi-Context Systems (MCSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way. Whereas most knowledge bases (contexts) typically considered within an MCS are written in some description logic or some non-monotonic rule-based language, sometimes more expressive languages that combine the features of both these paradigms are necessary, such as Hybrid MKNF. However, since agents may not have access to specialized reasoners for contexts using all these languages, it proves useful to have tools that equivalently simplify or transform a given MCS into another MCS that only uses the reasoners that are available. In this article, we thoroughly investigate the relation between MCSs and Hybrid MKNF. We provide a number of transformations that show that Hybrid MKNF knowledge bases can be embedded into MCSs without the need for specific MKNF reasoners. To complete the picture, we also show that when an MKNF reasoner is available, it can be used to handle several description logic and rule contexts joined into a single MKNF context. Furthermore, we show that we can encapsulate the non-monotonic transfer of information between different contexts in one rule language context, allowing e.g. the use of external non-monotonic reasoners.",
keywords = "Answer set programming , Description logics , Knowledge representation , Logic programming , MKNF knowledge bases , Multi-context systems",
author = "Matthias Knorr and Martin Slota and Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Martin Homola",
note = "SCOPUSID:84931058108 WOS:000345830800008",
year = "2014",
month = "12",
doi = "10.1093/logcom/ext062",
language = "English",
volume = "24",
pages = "1279--1311",
journal = "Journal Of Logic And Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "6(SI)",

}

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. / Knorr, Matthias; Slota, Martin; Leite, João Alexandre Carvalho Pinheiro; Homola, Martin.

In: Journal Of Logic And Computation, Vol. 24, No. 6(SI), 12.2014, p. 1279-1311.

Research output: Contribution to journalArticle

TY - JOUR

T1 - What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

AU - Knorr, Matthias

AU - Slota, Martin

AU - Leite, João Alexandre Carvalho Pinheiro

AU - Homola, Martin

N1 - SCOPUSID:84931058108 WOS:000345830800008

PY - 2014/12

Y1 - 2014/12

N2 - In open environments, agents need to reason with knowledge from various sources, represented in different languages. Multi-Context Systems (MCSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way. Whereas most knowledge bases (contexts) typically considered within an MCS are written in some description logic or some non-monotonic rule-based language, sometimes more expressive languages that combine the features of both these paradigms are necessary, such as Hybrid MKNF. However, since agents may not have access to specialized reasoners for contexts using all these languages, it proves useful to have tools that equivalently simplify or transform a given MCS into another MCS that only uses the reasoners that are available. In this article, we thoroughly investigate the relation between MCSs and Hybrid MKNF. We provide a number of transformations that show that Hybrid MKNF knowledge bases can be embedded into MCSs without the need for specific MKNF reasoners. To complete the picture, we also show that when an MKNF reasoner is available, it can be used to handle several description logic and rule contexts joined into a single MKNF context. Furthermore, we show that we can encapsulate the non-monotonic transfer of information between different contexts in one rule language context, allowing e.g. the use of external non-monotonic reasoners.

AB - In open environments, agents need to reason with knowledge from various sources, represented in different languages. Multi-Context Systems (MCSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way. Whereas most knowledge bases (contexts) typically considered within an MCS are written in some description logic or some non-monotonic rule-based language, sometimes more expressive languages that combine the features of both these paradigms are necessary, such as Hybrid MKNF. However, since agents may not have access to specialized reasoners for contexts using all these languages, it proves useful to have tools that equivalently simplify or transform a given MCS into another MCS that only uses the reasoners that are available. In this article, we thoroughly investigate the relation between MCSs and Hybrid MKNF. We provide a number of transformations that show that Hybrid MKNF knowledge bases can be embedded into MCSs without the need for specific MKNF reasoners. To complete the picture, we also show that when an MKNF reasoner is available, it can be used to handle several description logic and rule contexts joined into a single MKNF context. Furthermore, we show that we can encapsulate the non-monotonic transfer of information between different contexts in one rule language context, allowing e.g. the use of external non-monotonic reasoners.

KW - Answer set programming

KW - Description logics

KW - Knowledge representation

KW - Logic programming

KW - MKNF knowledge bases

KW - Multi-context systems

U2 - 10.1093/logcom/ext062

DO - 10.1093/logcom/ext062

M3 - Article

VL - 24

SP - 1279

EP - 1311

JO - Journal Of Logic And Computation

JF - Journal Of Logic And Computation

SN - 0955-792X

IS - 6(SI)

ER -