M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Description Logics with Fuzzy Concrete Domains - Straccia Umberto Isti (2005) (1 citation) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
Extending a Description Logic to Cope with the - Completeness Of Multimedia (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka, `Attributive concept descriptions with complements', Artificial Intelligence, 48, 1--26, (1991).
A Model of Information Retrieval Based on a.. - Meghini, Sebastiani, .. (1993) (50 citations) (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
An Optimization for Query Answering on - Database Pakornpong Pothipruk (Correct)
No context found.
Schmidt-Schau, M. & Smolka, G. (1991), `Attributive concept descriptions with complements', Artificial Intelligence 48(1), 1--26.
Logical and Computational Properties of the.. - Buongarzoni.. (1995) (2 citations) (Correct)
No context found.
Manfred SchmidtSchau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1-- 26, 1991.
Molecular Structure Databases - Darrell Conklin In (Correct)
No context found.
Schmidt-Schau, M. and Smolka, G. 1991. Attributive concept descriptions with complements. Artificial Intelligence 48:1--26.
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005) (2 citations) (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
A Sequent Calculus for Reasoning in Four-valued Description Logics - Straccia (1997) (1 citation) (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
A Fuzzy Description Logic for the Semantic Web - Umberto Straccia Isti-Cnr (2005) (1 citation) (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
Uncertainty in Description Logics: a Lattice-based Approach - Straccia (2004) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence Journal, 48:1--26, 1991.
A Framework for the Retrieval of Multimedia Objects Based on.. - Straccia (1999) (4 citations) (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
A Description Logic Based Approach to Reasoning about - Web Services Franz (2005) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. AIJ, 48(1):1--26, 1991.
A Survey of Decidable First-Order Fragments and.. - Hustadt, Schmidt.. (2004) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. J. Artificial Intelligence, 48:1--26, 1991.
Unknown - Formalization And Experimentation (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
Symbolic Arithmetical Reasoning with Qualified Number.. - Ohlbach, Schmidt, Hustadt (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept description with complements. Artificial Intelligence, 48:1--26, 1991.
Reasoning about Concepts and Similarity - Lutz, Wolter, Zakharyaschev (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
Reasoning about Concepts and Similarity - Lutz, Wolter, Zakharyaschev (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
Formal Operations for Ontology Evolution - Sindt (Correct)
No context found.
Manfred Schmidt-Schau; and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1--26, 1991.
Description Logics For Conceptual Data Modeling - Calvanese, Lenzerini, Nardi (1998) (74 citations) (Correct)
No context found.
Manfred Schmidt-Schau and Gert Smolka. Attributive concept descriptions with complements. Arti cial Intelligence, 48(1):1-26, 1991.
A PSPACE-Algorithm for Deciding ALCNI_R+ Satisfiability - Horrocks, Sattler, Tobies (1998) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1--26, 1991.
An Empirical Analysis Of Modal Theorem Provers - Hustadt, Schmidt (6 citations) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept description with complements. Artifical Intelligence, 48:1--26, 1991.
Finite Model Reasoning in ALCQI is ExpTime-complete - Lutz, Sattler, Tendera (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1--26, 1991.
A Proposal for Describing Services with DLs - Lutz, Sattler (2002) (2 citations) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1--26, 1991.
On Expressive Number Restrictions in Description Logics - Grandi (2001) (1 citation) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive Concept Descriptions with Complements. Artificial Intelligence, 48(1):1--26, 1991.
Optimizing Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (18 citations) (Correct)
No context found.
M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48, 1--26, 1991.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC