186 search results - page 2 / 38 » Reasoning with Instances of Heterogeneous Ontologies |
75
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
111
click to vote
WISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
CAISE
2003
Springer
15 years 4 months ago
2003
Springer
The overall problem addressed in this paper is to improve semantic interoperability in heterogeneous systems. Normally, the semantics of data is carried by ontology (concept model)...
104
click to vote
DEXA
2010
Springer
15 years 22 days ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...