Return to Article Details
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Download
Download PDF