3 search results - page 1 / 1 » Decidability of Circumscribed Description Logics Revisited |
117
click to vote
DLOG
2010
14 years 10 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
126
click to vote
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
89
Voted
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...