Sciweavers

DLOG
2010
13 years 8 months ago
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
Quentin Reul, Jeff Z. Pan
RWEB
2010
Springer
13 years 9 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan
RR
2010
Springer
13 years 9 months ago
A Rule-Based Approach to XML Processing and Web Reasoning
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
Jorge Coelho, Besik Dundua, Mário Florido, ...
RR
2010
Springer
13 years 9 months ago
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
Klara A. Weiand, Steffen Hausmann, Tim Furche, Fra...
RR
2010
Springer
13 years 9 months ago
Defeasibility in Answer Set Programs via Argumentation Theories
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
Hui Wan, Michael Kifer, Benjamin N. Grosof
RR
2010
Springer
13 years 9 months ago
A RPL through RDF: Expressive Navigation in RDF Graphs
Harald Zauner, Benedikt Linse, Tim Furche, Fran&cc...
RR
2010
Springer
13 years 9 months ago
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination on RDF graphs in the presence of rules (in the form of Datalog r...
Reinhard Pichler, Axel Polleres, Sebastian Skritek...