1285 search results - page 9 / 257 » Description Logic Reasoner: System Description |
102
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
100
click to vote
CADE
2008
Springer
15 years 12 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
CADE
2001
Springer
15 years 12 months ago
2001
Springer
RULEML
2004
Springer
15 years 5 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.
75
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...