DLOG 2007 - PDF Preprint Papers

DLOG 2007

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DLOG-2007 Paper

click to vote

DLOG
2007

225views Automated Reasoning» more DLOG 2007»

Dynamic Description Logic: Embracing Actions into Description Logic

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin

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	225	Dynamic Description Logic: Embracing Actions into Description Logic	claim
2	206	SEMilarity: Towards a Model-Driven Approach to Similarity	claim
3	167	Exploiting Description Logic Reasoners in Inductive Logic	claim
4	164	Integrated Distributed Description Logics	claim
5	156	Conjunctive Query Entailment for SHOQ	claim
6	155	Expressive Querying over Fuzzy DL-Lite Ontologies	claim
7	154	Automated Evaluation of Description Logic Reasoning Systems	claim
8	149	Description Logic vs. Order-Sorted Feature Logic	claim
9	149	Modal Logic Applied to Query Answering and the Case for Variable Modalities	claim
10	140	Speeding up Approximation with Nicer Concepts	claim
11	138	Deciding ALBO with Tableau	claim
12	138	Paraconsistent Resolution for Four-valued Description Logics	claim
13	135	Retrospective on Clio: Schema Mapping and Data Exchange in Practice	claim
14	134	Data Complexity in the EL family of DLs	claim
15	134	Blocking Automata for PSPACE DLs	claim
16	133	DLMedia: an Ontology Mediated Multimedia Information Retrieval System	claim
17	131	Exploiting Conjunctive Queries in Description Logic Programs	claim
18	129	On Conjunctive Query Answering in EL	claim
19	126	A Hypertableau Calculus for SHIQ	claim
20	122	OntoVQL: A Graphical Query Language for OWL Ontologies	claim
21	121	Action Based ABox Update: an Example from the Chemical Compound Formulation	claim
22	121	Distributed Description Logics Revisited	claim
23	120	DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation	claim
24	120	Actions and Programs over Description Logic Ontologies	claim
25	119	On Ordering Descriptions in a Description Logic	claim
26	115	A Possibilistic Extension of Description Logics	claim
27	114	Optimizing Tableau Reasoning in ALC Extended with Uncertainty	claim
28	114	Contextualization of a DL Knowledge Base	claim
29	113	EXPTIME Tableaux for ALC Using Sound Global Caching	claim
30	113	On Importing Knowledge from DL Ontologies: Some Intuitions and Problems	claim
31	108	Expressing DL-Lite Ontologies with Controlled English	claim
32	106	Description Logics in the Calculus of Structures	claim
33	106	Planning in Action Formalisms based on DLs: First Results	claim
34	106	Modularity in DL-Lite	claim
35	104	Ontology Reuse: Better Safe than Sorry	claim
36	102	Induction of Optimal Semi-distances for Individuals based on Feature Sets	claim
37	100	Combining Two Formalism for Reasoning about Concepts	claim
38	99	Knowledge Representation Meets Databases - a View of the Symbiosys	claim
39	97	Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd	claim
40	94	A New Mapping from ALCI to ALC	claim
41	94	Practical Conforming Datatype Groups	claim
42	92	Integrating Semantic Annotations in Bayesian Causal Models	claim
43	91	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements	claim
44	91	Model Checking of Restricted CTL* Formulas using ALCK	claim
45	90	A General Framework for Covering Concepts using Terminologies	claim
46	90	The Minimal Finite Model Visualization as an Ontology Debugging Tool	claim
47	89	Extracting Ontologies from Relational Databases	claim
48	88	Partitioning ABoxes Based on Converting DL to Plain Datalog	claim
49	83	A Proof Theory for DL-Lite	claim
50	82	Modal vs. Propositional Reasoning for model checking with Description Logics	claim
51	80	A Constructive Semantics for ALC	claim
52	80	A Well-founded Semantics for Hybrid MKNF Knowledge Bases	claim
53	75	Inverse Roles Make Conjunctive Queries Hard	claim
54	74	Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers