Publications

Ian Horrocks, Peter F. Patel-Schneider, и Frank van Harmelen. From SHIQ and RDF to OWL: the making of a Web Ontology Language. Web Semantics: Science, Services and Agents on the World Wide Web, (1)1:7-26, 2003. [PUMA: dl owl rdf semantic web] URL

The description logic handbook: theory, implementation, and applications. In Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, и Peter F. Patel-Schneider (Ред.), Cambridge University Press, New York, NY, USA, 2003. [PUMA: description dl logics]

Franz Baader, Bernhard Ganter, Baris Sertkaya, и Ulrike Sattler. Completing description logic knowledge bases using formal concept analysis. Proceedings of the 20th international joint conference on Artifical intelligence, 230--235, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007. [PUMA: analysis base complete concept description dl fca formal knowledge logic ontology] URL

Franz Baader, и Baris Sertkaya. Applying Formal Concept Analysis to Description Logics.. In Peter W. Eklund (Ред.), Concept Lattices, (2961):261--286, Springer, Berlin/Heidelberg, 2004. [PUMA: analysis concept description dl fca formal logic logics] URL