DLOG 2008 - PDF Preprint Papers

DLOG 2008

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-2008 Paper

click to vote

DLOG
2008

204views Automated Reasoning» more DLOG 2008»

Classifying Fuzzy Subsumption in Fuzzy-EL+

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...

Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan

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	204	Classifying Fuzzy Subsumption in Fuzzy-EL+	claim
2	194	Consistency Checking for Extended Description Logics	claim
3	188	The Revival of Structural Subsumption in Tableau-based Reasoners	claim
4	180	Essential and Mandatory Part-Whole Relations in Conceptual Data Models	claim
5	161	Automata-based Pinpointing for DLs	claim
6	145	Locality and Subsumption Testing in EL and Some of its Extensions	claim
7	142	Paraconsistent Reasoning for Expressive and Tractable Description Logics	claim
8	140	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints	claim
9	139	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure	claim
10	139	Decidable Reasoning over Timestamped Conceptual Models	claim
11	136	SRIQ and SROIQ are Harder than SHOIQ	claim
12	134	All Elephants are Bigger than All Mice	claim
13	133	Actions over a Constructive Semantics for ALC	claim
14	132	Partitioning OWL Knowledge Bases - Revisited and Revised	claim
15	126	Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces	claim
16	123	Description Logics-Based Modelling for Precise Information Retrieval	claim
17	123	Visualization of Description Logic Models	claim
18	122	Bridging Heterogeneous Representations of Binary Relations: First Results	claim
19	120	Realization Problem for Formal Concept Analysis	claim
20	120	Identifying Objects Over Time with Description Logics	claim
21	119	Two Upper Bounds for Conjunctive Query Answering in SHIQ	claim
22	110	Using DL to Support a very Large Healthcare Terminology: Successes and Challenges	claim
23	107	Partial and Informative Common Subsumers of Concepts Collections in Description Logics	claim
24	106	Distributed Resolution for ALC	claim
25	106	Explanation in DL-Lite	claim
26	104	A Kernel Revision Operator for Terminologies	claim
27	104	Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics	claim
28	104	The Representation of Structured Objects in DLs using Description Graphs	claim
29	103	Checking DL-Lite Modularity with QBF Solvers	claim
30	102	Conjunctive Query Answering in SH using Knots	claim
31	102	A UML-Based Method for Deciding Finite Satisfiability in Description Logics	claim
32	98	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi	claim
33	98	Rewriting Rules into SROIQ Axioms	claim
34	93	XPath: (P)DL on Trees	claim
35	92	LTL over Description Logic Axioms	claim
36	91	A Hybrid Tableau Algorithm for ALCQ	claim
37	91	ContraBovemRufum: A System for Probabilistic Lexicographic Entailment	claim
38	89	The SAT-Tableau Calculus	claim
39	89	On Ordering and Indexing Metadata for the Semantic Web	claim
40	88	A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes	claim
41	86	Explaining User Errors in Knowledge Base Completion	claim
42	86	Planning of Axiom Absorption	claim
43	85	A Survey of Revision Approaches in Description Logics	claim
44	83	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support	claim
45	81	Subsumption Propagation between Remote Ontologies in Distributed Description Logic	claim
46	80	Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom	claim
47	78	Towards Higher-Order DL-Lite	claim
48	78	The Projection Problem for EL Actions	claim
49	73	Supporting the Design of Ontologies for Data Access	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers