Sciweavers

13 search results - page 2 / 3
» A Formal Ontology Reasoning with Individual Optimization: A ...
Sort
View
CADE
2007
Springer
14 years 4 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
SIGSOFT
2003
ACM
14 years 5 months ago
Ontology support for web service processes
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
Claus Pahl, Michael Casey
ER
2006
Springer
99views Database» more  ER 2006»
13 years 8 months ago
Ontology with Likeliness and Typicality of Objects in Concepts
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
Ching-man Au Yeung, Ho-fung Leung
AI
2008
Springer
13 years 4 months ago
Expressive probabilistic description logics
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
Thomas Lukasiewicz
RWEB
2005
Springer
13 years 10 months ago
Personalization for the Semantic Web
Searching for the meaning of the word “personalization” on a popular search engine, one finds twenty-three different answers, including “the process of matching categorized...
Matteo Baldoni, Cristina Baroglio, Nicola Henze