1746 search results - page 3 / 350 » A Constructive Semantics for ALC |
DLOG
2008
15 years 1 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
110
Voted
DLOG
2008
15 years 1 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
95
Voted
DLOG
1998
15 years 1 months ago
1998
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
111
Voted
ECSQARU
2007
Springer
15 years 5 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...
129
click to vote
RR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...