1544 search results - page 64 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
141
click to vote
IJCAI
2001
15 years 7 months ago
2001
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
172
click to vote
EON
2008
15 years 7 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...
165
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
169
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
176
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...