Fundamenta Informaticae > 2009 > Vol. 96, nr 3 > 341-372
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., Eds.: The Description Logic Handbook - Theory, Implementation, and Applications, 2nd edition, Cambridge, 2007.
-
[2] Baader, F., Hollunder, B.: Embedding Defaults into Terminological Knowledge Representation Formalisms, J. Autom. Reasoning, 14(1), 1995, 149-180.
-
[3] Baader, F., Hollunder, B.: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic, J. of Automated Reasoning (JAR), 15(1), 1995, 41-68.