272 search results - page 29 / 55 » Paraconsistent Reasoning for Expressive and Tractable Descri... |
109
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
125
Voted
DEBU
2002
15 years 8 days ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
100
click to vote
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
127
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
209
Voted
POPL
2006
ACM
16 years 24 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...