FROCOS 2009 - PDF Preprint Papers

FROCOS 2009 International Workshop on Frontiers of Combining Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FROCOS-2009 Paper

click to vote

FROCOS
2009
Springer

192views Control Systems» more FROCOS 2009»

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

14 years 6 months ago

Download www.dcs.bbk.ac.uk

We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...

Alessandro Artale, Roman Kontchakov, Vladislav Ryz...

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	192	DL-Lite with Temporalised Concepts, Rigid Axioms and Roles	claim
2	171	Automating Theories in Intuitionistic Logic	claim
3	166	Combining Theories with Shared Set Operations	claim
4	166	Combining Nonmonotonic Knowledge Bases with External Sources	claim
5	154	Building SMT-Based Software Model Checkers: An Experience Report	claim
6	139	Combinations of Theories for Decidable Fragments of First-Order Logic	claim
7	134	Argument Filterings and Usable Rules for Simply Typed Dependency Pairs	claim
8	134	Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme	claim
9	133	Runtime Verification Using a Temporal Description Logic	claim
10	127	Taming the Complexity of Temporal Epistemic Reasoning	claim
11	124	Putting ABox Updates into Action	claim
12	124	Combining Description Logics, Description Graphs, and Rules	claim
13	123	Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas	claim
14	122	A Declarative Agent Programming Language Based on Action Theories	claim
15	112	Data Structures with Arithmetic Constraints: A Non-disjoint Combination	claim
16	110	Axiomatization and Completeness of Lexicographic Products of Modal Logics	claim
17	108	Efficient Combination of Decision Procedures for MUS Computation	claim
18	107	Termination Modulo Combinations of Equational Theories	claim
19	105	Unification Modulo Homomorphic Encryption	claim
20	92	Combining Instance Generation and Resolution	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers