94 search results - page 1 / 19 » Complexity of Reasoning With Expressive Ontology Mappings |
FOIS
2008
13 years 5 months ago
2008
CADE
2002
Springer
14 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
DEXA
2010
Springer
13 years 5 months 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...
AIMSA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
SWAP
2007
13 years 5 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...