MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
by Alex Borgida, Peter F. Patel-Schneider — 1994 — Journal of Artificial Intelligence Research
… Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic Alex Borgida borgida…
Cited by 151 (15 self) – Add To MetaCart

Reasoning in Description Logics
by F. M. Donini, M. Lenzerini, D. Nardi, A. Schaerf — 1997
… Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Arti cial…
Cited by 192 (22 self) – Add To MetaCart

International Workshop on Description Logics
by Intelligenz Gmbh, Franz Baader, Maurizio Lenzerini, Werner Nutt, Peter F. Patel-Schneider, Deutsches Forschungszentrum — 1994
… ] Alexander Borgida and Peter F. Patel-Schneider. A semantics and complete algorithm for subsumption…
Add To MetaCart

Showing 1 through 3.

ATOM

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