44 search results - page 2 / 9 » A Well-founded Semantics for Hybrid MKNF Knowledge Bases |
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
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. ...
DLOG
2007
13 years 8 months ago
2007
CORR
2011
Springer
13 years 19 days ago
2011
Springer
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...
PADL
2010
Springer
14 years 2 months ago
2010
Springer
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...
IJCAI
2007
13 years 7 months ago
2007
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 ...