Sciweavers

44 search results - page 2 / 9
» A Well-founded Semantics for Hybrid MKNF Knowledge Bases
Sort
View
ECAI
2008
Springer
15 years 3 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
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. ...
Matthias Knorr, José Júlio Alferes, ...
DLOG
2007
15 years 3 months ago
A Well-founded Semantics for Hybrid MKNF Knowledge Bases
Matthias Knorr, José Júlio Alferes, ...
CORR
2011
Springer
186views Education» more  CORR 2011»
14 years 8 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
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...
Ana Sofia Gomes, José Júlio Alferes,...
PADL
2010
Springer
15 years 10 months ago
Implementing 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 rule...
Ana Sofia Gomes, José Júlio Alferes,...
IJCAI
2007
15 years 2 months ago
A Faithful Integration of Description Logics with Logic Programming
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
Boris Motik, Riccardo Rosati