Unification of Concept Terms in Description Logics

Unification of Concept Terms in Description Logics (1998)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Franz Baader , Paliath Narendran

Citations:

38 - 17 self

BibTeX

@MISC{Baader98unificationof,
    author = {Franz Baader and Paliath Narendran},
    title = {Unification of Concept Terms in Description Logics},
    year = {1998}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

this article).

Citations

8881	D.S.: Computers and Intractability, A Guide to the Theory of NP-Completeness - Garey, Johnson - 1979
543	An overview of the KL-ONE knowledge representation system. Cognitive Science 171{216 - Brachman, Schmolze - 1985
430	Automata on infinite objects - Thomas - 1990
243	A schema for integrating concrete domains into concept languages - Baader, Hanschke - 1991
224	Basic description logics - Baader, Nutt - 2003
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
194	Tree Automata: Techniques and Applications. Available on: http: //www.grappa.univ-lille3.fr/tata, 2007. release October - Comon, Dauchet, et al. - 2007
181	Unification theory - Baader, Snyder - 2001
171	Decidable reasoning in terminological knowledge representation systems - Buchheit, Donini, et al. - 1993
160	LaSSIE: a knowledge-based software information system - Devanbu, Brachman, et al. - 1991
155	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - Borgida - 1994
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
92	B.: A terminological knowledge representation system with complete inference algorithms - Baader, Hollunder - 1991
80	Qualifying number restrictions in concept languages - Hollunder, Baader - 1991
78	Subsumption algorithms for concept description languages - Hollunder, Nutt, et al. - 1990
73	Deduction in concept languages: From subsumption to instance checking - Donini, Lenzerini, et al. - 1994
64	Tractable Concept Languages - Donini, Lenzerini, et al. - 1991
60	The complexity of set con-straints - Aiken, Kozen, et al. - 1993
60	Computational complexity of terminological reasoning in BACK - Nebel - 1988
57	Cardinality restrictions on concepts - Baader, Buchheit, et al. - 1996
47	The complexity of existential quantification in concept languages - Donini, Hollunder, et al. - 1992
44	Terminological cycles in KL-ONE-based knowledge representation languages - Baader - 1990
28	Asking Queries about Frames - Borgida, McGuinness - 1996
27	An application of terminological logics to case-based reasoning - Koehler - 1994
25	Number restrictions on complex roles in description logics - Baader, Sattler - 1996
18	Matching - A Special Case of Unification - Burckert - 1989
15	Unification in monoidal theories - Nutt - 1990
15	ODB-tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases - Bergamaschi, Sartori, et al. - 1997
15	Configuration as model construction: The constructive problem solving approach - Buchheit, Klein, et al. - 1994
15	Description Logic in Practice: A CLASSIC Application - McGuinness, Resnick - 1995
14	Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases - Baader - 1993
13	Knowledge representation in process engineering - Baader, Sattler - 1996
10	Unification in commutative theories - Baader - 1989
10	Description logics with symbolic number restrictions - Baader, Sattler - 1996
10	Solving linear equations over polynomial semirings - Narendran - 1996
7	Combination problems for commutative/monoidal theories: How algebra can help in equational reasoning - Baader, Nutt - 1996
6	Some new decidability results on positive and negative set constraints - Gilleron, Tison, et al. - 1994
5	Tree Automata. Akad'emiai Kiadd'a - G'ecseg, Steinby - 1984
4	Incoherence and subsumption for recursive views and queries in object-oriented data models - Bergamaschi, Beneventano - 1997
3	Subsumption of queries to object-oriented databases - Buchheit, Jeusfeld, et al. - 1994
1	Unification of concept terms - Baader, Narendran - 1997