Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones

Open in new window