MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Tractability of Subsumption in Frame-Based Description Languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Reasoning in Expressive Description Logics
by Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini — 1998
…. With the article \The tractability of subsumption in Frame-Based Description Languages " by Brachman and Levesque…
Cited by 62 (14 self) – Add To MetaCart

Description Logics: Foundations for Class-based Knowledge Representation
by Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini — 2002 — IN LICS'02
… in terms of computational complexity. With the article "The tractability of subsumption in Frame-Based…
Cited by 3 (0 self) – Add To MetaCart

Chapter 12 Reasoning in Expressive Description Logics
by Diego Calvanese, Daniele Nardi, Maurizio Lenzerini
… with formal tools. With the article “The tractability of subsumption in Frame-Based Description Languages…
Add To MetaCart

International Workshop on Description Logics
by Intelligenz Gmbh, Franz Baader, Maurizio Lenzerini, Werner Nutt, Peter F. Patel-Schneider, Deutsches Forschungszentrum — 1994
…. Levesque. The tractability of subsumption in frame-based description languages. In Proc. of the 4th Nat…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB