Sciweavers

44 search results - page 2 / 9
» A Well-founded Semantics for Hybrid MKNF Knowledge Bases
Sort
View
ECAI
2008
Springer
14 years 19 days 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
14 years 1 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»
13 years 5 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
14 years 7 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
14 years 8 days 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