Description Logics as Ontology Languages for the Semantic Web

Cite this paper

@inproceedings{Baader2005DescriptionLA, title={Description Logics as Ontology Languages for the Semantic Web}, author={Franz Baader and Ian Horrocks and Ulrike Sattler}, booktitle={Mechanizing Mathematical Reasoning}, year={2005} }