Sciweavers

137 search results - page 16 / 28
» Approximating OWL-DL Ontologies
Sort
View
DLOG
2009
13 years 5 months ago
Soundness Preserving Approximation for TBox Reasoning in R
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
ESWS
2006
Springer
13 years 11 months ago
Toward Multi-viewpoint Reasoning with OWL Ontologies
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
Heiner Stuckenschmidt
ECAI
2008
Springer
13 years 9 months ago
Towards Efficient Belief Update for Planning-Based Web Service Composition
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
Jörg Hoffmann
GEOINFORMATICA
2002
100views more  GEOINFORMATICA 2002»
13 years 7 months ago
Vagueness and Rough Location
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
Thomas Bittner, John G. Stell
FLAIRS
2008
13 years 10 months ago
Multi-Prototype Concept and Object Typicality in Ontology
Concept representation in ontology is a basic problem on the Semantic Web. In human cognitive process, object typicality plays an important role in concept representation. Traditi...
Yi Cai, Ho-fung Leung, Ada Wai-Chee Fu