Sciweavers

7 search results - page 2 / 2
» A Coherent Well-founded Model for Hybrid MKNF Knowledge Base...
Sort
View
CORR
2011
Springer
186views Education» more  CORR 2011»
12 years 11 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,...
JACM
2010
137views more  JACM 2010»
13 years 2 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati