Sciweavers

1184 search results - page 27 / 237
» Description Logics for the Semantic Web
Sort
View
AMW
2010
15 years 3 months ago
Updating ABoxes in DL-Lite
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dm...
103
Voted
RULEML
2004
Springer
15 years 7 months ago
SweetProlog: A System to Integrate Ontologies and Rules
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
Loredana Laera, Valentina A. M. Tamma, Trevor J. M...
121
Voted
WWW
2005
ACM
16 years 2 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....
125
Voted
WWW
2006
ACM
16 years 2 months ago
Web ontology segmentation: analysis, classification and use
Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size t...
Julian Seidenberg, Alan L. Rector
SEMWEB
2007
Springer
15 years 8 months ago
OWL-Q for Semantic QoS-based Web Service Description and Discovery
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
Kyriakos Kritikos, Dimitris Plexousakis