Hybrid Logics and Ontology Languages Ian Horrocks Information Management Group School of Computer Science University of Manchester.
Description Logic Based Ontology Languages Ian Horrocks Information Systems Group Oxford University Computing Laboratory.
Ontology Engineering: Tools and Methodologies Ian Horrocks Information Management Group School of Computer Science University of Manchester.
Modal Logic with Variable Modalities & its Applications to Querying Knowledge Bases Evgeny Zolin The University of Manchester [email protected].
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
OWL: A Description Logic Based Ontology Language Ian Horrocks Information Management Group School of Computer Science University of Manchester.
FiRE Fuzzy Reasoning Engine Nikolaos Simou National Technical University of Athens.
DLs and Ontology Languages. ’s OWL (like OIL & DAML+OIL) based on a DL –OWL DL effectively a “Web-friendly” syntax for SHOIN i.e., ALC extended with transitive.
An Introduction to Description Logics (chapter 2 of DLHB)
Ontology Engineering: Tools and Methodologies
Description Logic Based Ontology Languages