184 search results - page 4 / 37 » Actions and Programs over Description Logic Ontologies |
65
Voted
RR
2007
Springer
15 years 3 months ago
2007
Springer
101
click to vote
ECSQARU
2007
Springer
15 years 3 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...
100
click to vote
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
94
Voted
FUIN
2008
14 years 9 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
FOIKS
2008
Springer
14 years 11 months ago
2008
Springer