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»
14 years 6 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»
14 years 10 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