Sciweavers

3032 search results - page 446 / 607
» Description Logic Rules
Sort
View
106
Voted
WWW
2005
ACM
16 years 1 months ago
Automated semantic web services orchestration via concept covering
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
94
Voted
WWW
2004
ACM
16 years 1 months ago
Interpreting distributed ontologies
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
Yuzhong Qu, Zhiqiang Gao
102
Voted
CADE
2007
Springer
16 years 1 months ago
An Incremental Technique for Automata-Based Decision Procedures
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
David Toman, Gulay Ünel
134
Voted
PODS
2004
ACM
115views Database» more  PODS 2004»
16 years 25 days ago
Foundations of Semantic Web Databases
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
Claudio Gutiérrez, Carlos A. Hurtado, Alber...
86
Voted
PERCOM
2008
ACM
16 years 9 days ago
Kinds of Contexts and their Impact on Semantic Similarity Measurement
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
Krzysztof Janowicz