1663 search results - page 16 / 333 » Description Logics for Interoperability |
113
Voted
MEDINFO
2007
15 years 3 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...
104
Voted
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
121
click to vote
DLOG
2001
15 years 3 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
CADE
2002
Springer
16 years 2 months ago
2002
Springer
124
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...