A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

From Tetherless World Wiki

Jump to: navigation, search
 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Has publishing details  1:277-308, 1994
Has title  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Has where published  J. Artif. Intell. Res. (JAIR)
Has year  1994
Has author  Alexander Borgida +, Peter F. Patel-Schneider +
Has identifier  DBLP:journals/jair/BorgidaP94 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools