Description Logics as Ontology Languages for the Semantic Web

Has publishing details pp. 228-248, 2005

Has title Description Logics as Ontology Languages for the Semantic Web

Has url http://www.informatik.uni-trier.de/~ley/db/conf/birthday/siekmann2005.html#BaaderHS05

Has where published Mechanizing Mathematical Reasoning

Has year 2005

Has author Franz Baader +, Ian Horrocks +, Ulrike Sattler +

Has identifier Description Logics as Ontology Languages for the Semantic Web +

Categories Proceeding Paper +