1285 search results - page 63 / 257 » Description Logic Reasoner: System Description |
135
click to vote
DLOG
2000
15 years 2 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
123
click to vote
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
TABLEAUX
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
108
click to vote
RR
2010
Springer
14 years 12 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
110
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...