238 search results - page 43 / 48 » Proof-Theoretic Approach to Description-Logic |
ATAL
1995
Springer
14 years 1 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
LREC
2008
13 years 11 months ago
2008
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...
MEDINFO
2007
13 years 11 months ago
2007
After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap towards an overall improvement of this termi...
MEDINFO
2007
13 years 11 months ago
2007
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...
IKE
2004
13 years 11 months ago
2004
Flexible and effective indexing of video data so as to render it useful in automated inference and datadriven knowledge acquisition is a key problem in knowledge engineering. In t...