Basic Description Logics

Basic Description Logics (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Franz Baader , Werner Nutt

Citations:

224 - 31 self

BibTeX

@MISC{Baader03basicdescription,
    author = {Franz Baader and Werner Nutt},
    title = {Basic Description Logics},
    year = {2003}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1898	TR: A translation approach to portable ontology specifications . Knowledge Acquisition - Gruber - 1993
543	An overview of the KL-ONE knowledge representation system. Cognitive Science 171{216 - Brachman, Schmolze - 1985
395	From SHIQ and RDF to OWL: the making of a web ontology language - Halo, PF, et al. - 2003
322	RACER system description - Haarslev, Moller - 2001
312	Propositional dynamic logic of regular programs - Fischer, Ladner - 1979
279	Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, et al. - 1999
262	Relationships between nondeterministic and deterministic tape complexities - Savitch - 1970
256	Weaving the Web - Berners-Lee, T - 2002
243	A schema for integrating concrete domains into concept languages - Baader, Hanschke - 1991
235	A correspondence theory for terminological logics: Preliminary report - Schild - 1991
229	Using an expressive description logic: FaCT or fiction - Horrocks - 1998
222	On the decidability of query containment under constraints - Calvanese, Giacomo, et al. - 1998
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
190	Basic Modal Logic - Fitting - 1984
184	P.: Automata-theoretic techniques for modal logics of programs - Vardi, Wolper - 1986
181	OilEd: a reason-able ontology editor for the semantic web - Bechhofer, Horrocks, et al. - 2001
171	Decidable reasoning in terminological knowledge representation systems - Buchheit, Donini, et al. - 1993
170	C.: Pushing the EL envelope - Baader, Brandt, et al. - 2005
167	The tractability of subsumption in frame-based description languages - Brachman, Levesque - 1984
160	Tableau algorithms for description logics - Baader, Sattler - 2000
155	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - Borgida - 1994
151	Description Logic Framework for Information Integration - Calvanese, Giacomo, et al. - 1998
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
131	in Description Logics with Concrete Domains – A Survey - Lutz - 2003
130	On the relative expressiveness of description logics and predicate logics - Borgida - 1996
130	Construction of Engineering Ontologies - Borst - 1997
127	The Even More Irresistible SROIQ - Horrocks, Kutz, et al. - 2006
123	S.: Reasoning with individuals for the description logic SHIQ - Horrocks, Sattler, et al. - 2000
118	Computers and Intractability: A Guide to NP-Completeness - Garey, Johnson - 1979
118	Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services - Doyle, Patil - 1991
113	Augmenting concept languages by transitive closure of rules: An alternativ to terminological cycles - Baader - 1991
111	Expressiveness and tractability in knowledge representation and reasoning - Levesque, Brachman - 1987
106	A Description Logic with Transitive and Inverse Roles and Role Hierarchies - Horrocks, Sattler - 1999
100	A tableaux decision procedure for SHOIQ - Horrocks, Sattler - 2005
96	On the restraining power of guards - Grädel - 1998
93	Terminological cycles: Semantics and computational properties. In: Principles of Semantic Networks - Nebel - 1991
92	B.: A terminological knowledge representation system with complete inference algorithms - Baader, Hollunder - 1991
81	Expressive Description Logics - Calvanese, Giacomo
80	Qualifying number restrictions in concept languages - Hollunder, Baader - 1991
80	Models of Program Logic - Pratt - 1979
79	Boosting the Correspondence between Description - Giacomo, Lenzerini - 1994
79	TBox and ABox Reasoning in Expressive Description Logics - Giacomo, Lenzerini - 1996
78	Subsumption algorithms for concept description languages - Hollunder, Nutt, et al. - 1990
77	Computing Least Common Subsumers in Description Logics with Existential Restrictions - Baader, Küsters, et al. - 1999
76	High performance reasoning with very large knowledge bases - Haarslev, Möller
73	Deduction in concept languages: From subsumption to instance checking - Donini, Lenzerini, et al. - 1994
71	Computing Least Common Subsumers in Description Logics - Cohen, Borgida, et al. - 1992