9145 search results - page 29 / 1829 » Description Logic Systems |
113
Voted
EON
2008
15 years 1 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
103
click to vote
DLOG
2003
15 years 1 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
154
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
97
Voted
EUSFLAT
2009
14 years 10 months ago
2009
127
click to vote
WWW
2003
ACM
16 years 1 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...