Sciweavers

936 search results - page 7 / 188
» The Logical Difference Problem for Description Logic Termino...
Sort
View
MEDINFO
2007
128views Healthcare» more  MEDINFO 2007»
13 years 9 months ago
Biomedical Vocabularies - the Demand for Differentiation
The need of biomedical vocabularies is well known for various tasks, e.g., supporting structured data entry, decision support and electronic data exchange as well as retrieval and...
Josef Ingenerf, Siegfried J. Pöppl
DLOG
2006
13 years 9 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
Yu Ding, Volker Haarslev
SAC
2010
ACM
14 years 2 months ago
Towards the induction of terminological decision trees
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
MEDINFO
2007
130views Healthcare» more  MEDINFO 2007»
13 years 9 months ago
What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems
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...
Alan L. Rector
LILOG
1989
13 years 11 months ago
Representation and Reasoning with Attributive Descriptions
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
Bernhard Nebel, Gert Smolka