DLOG 2010 - PDF Preprint Papers

DLOG 2010

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-2010 Paper

click to vote

DLOG
2010

245views Automated Reasoning» more DLOG 2010»

A MapReduce Algorithm for EL+

13 years 10 months ago

Download www.cs.uwaterloo.ca

Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...

Raghava Mutharaju, Frederick Maier, Pascal Hitzler

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	245	A MapReduce Algorithm for EL+	claim
2	224	KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies	claim
3	203	Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms	claim
4	184	Generating Referring Expressions with OWL2	claim
5	172	TBox Classification in Parallel: Design and First Evaluation	claim
6	171	An Algebraic Approach to Dynamic Epistemic Logic	claim
7	168	Towards Soundness Preserving Approximation for ABox Reasoning of OWL2	claim
8	164	Automata-Based Abduction for Tractable Diagnosis	claim
9	162	Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results	claim
10	158	Guiding Reification in OWL through Aggregation	claim
11	156	Structure Preserving TBox Repair using Defaults	claim
12	151	Correcting Access Restrictions to a Consequence	claim
13	150	Checking Full Satisfiability of Conceptual Models	claim
14	149	On the feasibility of Description Logic knowledge bases with rough concepts and vague instances	claim
15	143	Optimization Techniques for Fuzzy Description Logics	claim
16	134	Paraconsistent Description Logics Revisited	claim
17	130	Orel: Database-Driven Reasoning for OWL 2 Profiles	claim
18	129	Logic for Modeling Product Structure	claim
19	126	Distance-based Measures of Inconsistency and Incoherency for Description Logics	claim
20	126	Updating TBoxes in DL-Lite	claim
21	124	Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes	claim
22	124	The Logical Difference For Fuzzy EL+ Ontologies	claim
23	122	Mastro at Work: Experiences on Ontology-Based Data Access	claim
24	120	Optimized DL Reasoning via Core Blocking	claim
25	120	Towards Formal Comparison of Ontology Linking, Mapping and Importing	claim
26	119	Optimal Rewritings in Definitorially Complete Description Logics	claim
27	118	Supporting the Development of Data Wrapping Ontologies (Extended Abstract)	claim
28	117	A Multi-Context System Computing Modalities	claim
29	115	A Compatible Approach to Temporal Description Logics	claim
30	115	Complexity of Axiom Pinpointing in the DL-Lite Family	claim
31	109	Second-Order Description Logics: Semantics, Motivation, and a Calculus	claim
32	107	Justification Masking in OWL	claim
33	104	Query Algebra and Query Optimization for Concept Assertion Retrieval	claim
34	102	Temporal Conceptual Modelling with DL-Lite	claim
35	99	EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers	claim
36	93	Query Rewriting in DL-Lite_^(HN)_horn	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers