2694 search results - page 17 / 539 » A Description Logic of Change |
MEDINFO
2007
13 years 10 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...
CADE
2005
Springer
14 years 2 months ago
2005
Springer
CADE
2009
Springer
14 years 1 months ago
2009
Springer
CSL
2010
Springer
13 years 9 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 ...
CSL
2000
Springer
14 years 1 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...