DLOG 2009 - PDF Preprint Papers

DLOG 2009

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-2009 Paper

click to vote

DLOG
2009

161views Automated Reasoning» more DLOG 2009»

On Correspondences between Probabilistic First-Order and Description Logics

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...

Pavel Klinov, Bijan Parsia, Ulrike Sattler

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	161	On Correspondences between Probabilistic First-Order and Description Logics	claim
2	160	Reintroducing CEL as an OWL 2 EL Reasoner	claim
3	157	Model-Based Most Specific Concepts in Some Inexpressive Description Logics	claim
4	155	A Conflict-based Operator for Mapping Revision	claim
5	151	Consequence-Driven Reasoning for Horn SHIQ Ontologies	claim
6	149	Relativizing Concept Descriptions to Comparison Classes	claim
7	145	Using Description Logics in Relation Based Access Control	claim
8	144	Testing Provers on a Grid - Framework Description	claim
9	139	Global Caching, Inverse Roles and Fixpoint Logics	claim
10	131	Quasi-Classical Semantics for Expressive Description Logics	claim
11	129	A Matter of Principles: Towards the Largest DLP Possible	claim
12	128	Reasoning About Typicality in ALC and EL	claim
13	127	Tractable Query Answering over Ontologies with Datalog+/-	claim
14	127	Soundness Preserving Approximation for TBox Reasoning in R	claim
15	125	OWL Reasoning in the Real World: Searching for Godot	claim
16	122	Conjunctive Query Entailment: Decidable in Spite of O, I, and Q	claim
17	122	Revision of DL-Lite Knowledge Bases	claim
18	122	Algebraic Tableau Algorithm for ALCOQ	claim
19	118	Reasoning With Weighted Ontologies	claim
20	117	A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics	claim
21	109	Explaining by Example: Model Exploration for Ontology Comprehension	claim
22	108	Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles	claim
23	108	Axiom Pinpointing is Hard	claim
24	108	Concept Projection in Algebras for Computing Certain Answer Descriptions	claim
25	107	Open and Closed World Assumptions in Data Exchange	claim
26	106	Combined FO Rewritability for Conjunctive Query Answering in DL-Lite	claim
27	106	A Comparison of Query Rewriting Techniques for DL-lite	claim
28	106	OntoComP System Description	claim
29	104	DL-Lite without UNA	claim
30	104	A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation	claim
31	104	Generalized Closed World Reasoning in Description Logics with Extended Domain Closure	claim
32	104	Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes	claim
33	104	Validating Process Refinement with Ontologies	claim
34	104	Adding Weight to DL-Lite	claim
35	103	Building Ontologies Collaboratively Using ContentCVS	claim
36	102	Filling the Gap between OWL 2 QL and QuOnto: ROWLKit	claim
37	97	On Higher-Order Description Logics	claim
38	97	What Happened to Bob? Semantic Data Mining of Context Histories	claim
39	97	A Semantic Algebra for Modularized Description Logics Knowledge Bases	claim
40	95	A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics	claim
41	94	An Extension of Regularity Conditions for Complex Role Inclusion Axioms	claim
42	93	Forgetting and Uniform Interpolation in Extensions of the Description Logic EL	claim
43	87	A System for Retrieving Top-k Candidates to Job Positions	claim
44	84	Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)	claim
45	82	Unification in the Description Logic EL	claim
46	79	Which Kind of Module Should I Extract?	claim
47	79	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results	claim
48	78	Importing Ontologies with Hidden Content	claim
49	77	Query Answering over DL ABoxes: How to Pick the Relevant Symbols	claim
50	75	Extending DL-Lite Sometime in the Future	claim
51	68	Fair Cycle Detection using Description Logic Reasoning	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers