722 search results - page 6 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
KI
2007
Springer
14 years 1 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
KI
2007
Springer
14 years 1 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
VRST
1999
ACM
13 years 11 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
RULEML
2004
Springer
14 years 10 days ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...