Marco Cerami
home
|
curriculum vitae
|
publications
|
teaching
|
research
An Introduction to Description Logic: slides
An Introduction to Description Logic I: Introduction and Historical Remarks (30.10.2014)
An Introduction to Description Logic II: Syntax and Semantics (30.10.2014)
An Introduction to Description Logic III: Knowledge Bases and Reasoning Tasks (6.11.2014)
An Introduction to Description Logic IV: Relations to first order logic (6.11.2014)
An Introduction to Description Logic V: Relations to Modal Logic (27.11.2014)
An Introduction to Description Logic VI: Relations to Formal Concept Analysis (27.11.2014)
An Introduction to Description Logic VII: Structural subsumption algorithm (4.12.2014)
An Introduction to Description Logic VIII: Inherent intractability of terminological reasoning (4.12.2014)
An Introduction to Description Logic IX: Tableau-based algorithm (26.3.2015)
home
|
curriculum vitae
|
publications
|
teaching
|
research
Last update Mar 27, 2015.