1835 search results - page 18 / 367 » Classifying Description Logics |
117
click to vote
DLOG
2004
15 years 3 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
MEDINFO
2007
15 years 3 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
81
Voted
CADE
2009
Springer
15 years 6 months ago
2009
Springer
100
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...