Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms – Descendants of semantic networks and KL-ONE.
Semantics in the Semantic Web– the implicit, the formal and the powerful (with a few examples from Glycomics) Amit Sheth Large Scale Distributed Information.
Semantics for Scientific Experiments and the Web– the implicit, the formal and the powerful Amit Sheth Large Scale Distributed Information Systems (LSDIS)
Reasoning with Expressive Description Logics Ian Horrocks University of Manchester Manchester, UK Logical Foundations for the Semantic Web.
Amit Sheth Large Scale Distributed Information Systems (LSDIS) lab, Univ. of Georgia
Hybrid Logics and Ontology Languages
Reasoning with Expressive Description Logics