Description Logics with Concrete Domains -- A Survey

Description Logics with Concrete Domains -- A Survey (2003)

Cached

Download Links

by Carsten Lutz

Citations:

BibTeX

@MISC{Lutz03descriptionlogics,
    author = {Carsten Lutz},
    title = {Description Logics with Concrete Domains -- A Survey},
    year = {2003}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

8881	D.S.: Computers and Intractability, A Guide to the Theory of NP-Completeness - Garey, Johnson - 1979
3376	Introduction to Automata Theory Languages and Computation. 2nd edition. Addison-Wesley Publishing Company, 2000. de - Hopcroft, Ullman - 2004
1988	Maintaining knowledge about temporal intervals - Allen - 1983
1813	The Art of Computer Programming - Knuth - 1968
1388	The Semantic Web - Berners-Lee, Hendler, et al. - 2001
1234	The Entity-Relationship Model -- Toward a Unified View of Data - Chen - 1976
1232	Theory of Linear and Integer Programming - Schrijver - 1986
451	A.G.: A spatial logic based on regions and connection - Randell, Cui, et al. - 1992
279	Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, et al. - 1999
243	A schema for integrating concrete domains into concept languages - Baader, Hanschke - 1991
242	Undecidability of the domino problem - Berger - 1966
239	Y.: The Classical Decision Problem - Börger, Grädel, et al. - 1996
235	A correspondence theory for terminological logics: Preliminary report - Schild - 1991
219	The complexity of concept languages - Donini, Lenzerini, et al. - 1997
216	Living with classic: When and how to use a kl-one-like language - Brachman, Borgida, et al. - 1991
148	Attributive concept descriptions with complements - Schmidt-Schau��, Smolka - 1991
137	Practical reasoning for very expressive description logics - Horrocks, Sattler, et al.
136	Terminological reasoning is inherently intractable - Nebel - 1990
130	On the relative expressiveness of description logics and predicate logics - Borgida - 1996
129	H.: An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on - Baader, Franconi, et al. - 1994
128	OIL in a nutshell - Fensel, Horrocks - 2000
124	Ontology Reasoning in the SHOQ(D) Description Logic - Horrocks, Sattler
123	Description logics for conceptual data modeling - Calvanese, Lenzerini, et al. - 1998
108	The Complexity of the Word Problem for Commutative Semigroups - Mayr, Meyer - 1982
106	A Description Logic with Transitive and Inverse Roles and Role Hierarchies - Horrocks, Sattler - 1999
106	A variant of a recursively unsolvable problem - Post - 1946
98	On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus - Renz, Nebel - 1999
93	Terminological cycles: Semantics and computational properties. In: Principles of Semantic Networks - Nebel - 1991
86	DAML+OIL: a description logic for the semantic web - Horrocks - 2002
83	E-Connections of Abstract Description Systems - KUTZ, LUTZ, et al.
81	Expressive Description Logics - Calvanese, Giacomo
80	Qualifying number restrictions in concept languages - Hollunder, Baader - 1991
79	TBox and ABox Reasoning in Expressive Description Logics - Giacomo, Lenzerini - 1996
76	Modal logics for qualitative spatial reasoning - Bennett - 1996
75	E.: A temporal description logic for reasoning about actions and plans - Artale, Franconi - 1998
61	Subsumption Algorithms for Concept Languages - Hollunder, Nutt - 1990
58	2000, ‘The � Tool for Intelligent Conceptual Modelling - Franconi, Ng
51	Multi-dimensional description logics - Wolter, Zakharyaschev - 1999
50	The complexity of reasoning with concrete domains - Lutz - 2002
47	F.: Fusions of description logics and abstract description systems - Baader, Lutz, et al. - 2002
42	Temporal Description Logics - Artale, Franconi
35	Combining terminological logics with tense logic - Schild - 1993
33	Extensions of concept languages for a mechanical engineering application - Baader, Hanschke - 1992
32	Concrete Domains - Keys
32	Terminological cycles and the propositional -calculus - Schild - 1994
30	The Complexity of deciding Tarski algebra - Grigor’ev - 1988
29	Adding Uniqueness Constraints to Description Logics (Preliminary Report - Borgida, Weddell - 1997
29	Database Modeling and Design: The Entity-Relationship Approach - Teorey
29	Description logics with concrete domains and aggregation - Baader, Sattler - 1998
28	Complexity of terminological reasoning revisited - Lutz - 1999