2694 search results - page 3 / 539 » A Description Logic of Change |
ICLP
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
RULEML
2004
Springer
13 years 11 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
WWW
2003
ACM
14 years 6 months ago
2003
ACM
AAAI
2006
13 years 7 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
DKE
2007
13 years 5 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...