Results 1 - 10 of 217

MKNF Knowledge Bases in Multi-Context Systems

by Martin Homola, Matthias Knorr, João Leite, Martin Slota
"... Abstract. In this paper we investigate the relationship between Multi-Context Systems and Hybrid MKNF Knowledge Bases. Multi-Context Systems provide an effective and modular way to integrate knowledge from different heterogeneous sources (contexts) through so-called bridge rules. Hybrid MKNF Knowled ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
in Multi-Context Systems, but we also provide transformations from the former into the latter, without the need for an explicit Hybrid MKNF context, hence providing a way for agents to reason with Hybrid MKNF Knowledge Bases within Multi-Context Systems without the need for specialized Hybrid MKNF

Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases

by Shasha Huang, Qingguo Li, Pascal Hitzler , 2012
"... This paper is concerned with the handling of inconsistencies occurring in the combination of description logics and rules, especially in hybrid MKNF knowledge bases. More precisely, we present a paraconsistent semantics for hybrid MKNF knowledge bases (called para-MKNF knowledge bases) based on four ..."
Abstract - Add to MetaCart
This paper is concerned with the handling of inconsistencies occurring in the combination of description logics and rules, especially in hybrid MKNF knowledge bases. More precisely, we present a paraconsistent semantics for hybrid MKNF knowledge bases (called para-MKNF knowledge bases) based

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

by Matthias Knorr, Martin Slota, Martin Homola - J. Log. Comput , 2013
"... In open environments, agents need to reason with knowledge from various sources, represented in different languages. Multi-Context Systems (MCSs) al-low for the integration of knowledge from different heterogeneous sources in an effective and modular way. Whereas most knowledge bases (contexts) typi ..."
Abstract - Cited by 8 (7 self) - Add to MetaCart
) typically considered within an MCS are written in some description logic or some non-monotonic rule-based language, sometimes more expressive languages that com-bine the features of both these paradigms are necessary, such as Hybrid MKNF. However, since agents may not have access to specialised reasoners

Implementing Query Answering for Hybrid MKNF Knowledge Bases

by Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
"... 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 ..."
Abstract - Cited by 18 (4 self) - Add to MetaCart
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

Paraconsistent Semantics for Hybrid MKNF Knowledge Bases

by Shasha Huang, Qingguo Li, Pascal Hitzler - EDS.) PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON WEB REASONING AND RULE SYSTEMS (RR’11). LNCS , 2011
"... Hybrid MKNF knowledge bases, originally based on the stable model semantics, is a mature method of combining rules and Description Logics (DLs). The well-founded semantics for such knowledge bases has been proposed subsequently for better efficiency of reasoning. How-ver, integration of rules and ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
Hybrid MKNF knowledge bases, originally based on the stable model semantics, is a mature method of combining rules and Description Logics (DLs). The well-founded semantics for such knowledge bases has been proposed subsequently for better efficiency of reasoning. How-ver, integration of rules

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

by Matthias Knorr, José Júlio Alferes, Pascal Hitzler
"... Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. One of the most mature proposals for this combination is known as Hybrid MKNF knowledge bases [11], which is based on an ..."
Abstract - Cited by 28 (15 self) - Add to MetaCart
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. One of the most mature proposals for this combination is known as Hybrid MKNF knowledge bases [11], which is based

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling

by José Júlio Alferes, Matthias Knorr, Terrance Swift, Centria Dep Informática
"... Abstract. An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages allow concepts to be simultaneously defined by an ontology and rules, where rules may refer to concepts in the on ..."
Abstract - Cited by 19 (12 self) - Add to MetaCart
in the ontology and the ontology may also refer to predicates defined by the rules. Hybrid MKNF knowledge bases are one such proposal, for which both a stable and a well-founded semantics have been defined. The definition of Hybrid MKNF knowledge bases is parametric on the ontology language, in the sense that non

A Query-driven Procedures for Hybrid MKNF Knowledge Bases

by José Júlio Alferes, Matthias Knorr, Terrance Swift
"... Hybrid MKNF knowledge bases are one of the most prominent tightly integrated combinations of openworld ontology languages with closed-world (non-monotonic) rule paradigms. Based on the logic of minimal knowledge and negation as failure (MKNF), the definition of Hybrid MKNF is parametric on the descr ..."
Abstract - Cited by 10 (10 self) - Add to MetaCart
Hybrid MKNF knowledge bases are one of the most prominent tightly integrated combinations of openworld ontology languages with closed-world (non-monotonic) rule paradigms. Based on the logic of minimal knowledge and negation as failure (MKNF), the definition of Hybrid MKNF is parametric

A well-founded semantics for hybrid MKNF knowledge bases

by Matthias Knorr, José Júlio Alferes, Pascal Hitzler - In Proceedings ASP-2007 , 2007
"... Abstract. In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for n ..."
Abstract - Cited by 5 (2 self) - Add to MetaCart
Abstract. In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction

A Well-founded Semantics for Hybrid MKNF Knowledge Bases?

by Core Scholar, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler, Matthias Knorr, Jose ́ Júlio Alferes, Pascal Hitzler
"... Abstract. In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of mini-mal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for ..."
Abstract - Add to MetaCart
Abstract. In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of mini-mal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction
Results 1 - 10 of 217