Titlebook: Non-Standard Inferences in Description Logics; From Foundations and Ralf Küsters Book 2001 Springer-Verlag Berlin Heidelberg 2001 AI Logics

jabber

Hyperopia

抱負(fù)

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/667032.jpg

縫紉

homocysteine

LCS and MSC,In Section 3.1.4, we have summarized the (new) theoretical results on the lcs and the msc. The purpose of this chapter is to provide proofs for the DLs . (Section 5.1) and . . (Section 5.2). The lcs in . has been investigated in a thesis by Molitor [Mol00]. In Section 6.3, we therefore cite the results on ALE without proofs.

Synchronism

Matching,In this chapter, the results on matching already summarized in Section 3.2.5 are proved. As in the previous two chapters, this is done in three separate sections containing proofs for . ., and . (as well as sublanguages thereof).

JIBE

sphincter

978-3-540-42397-3Springer-Verlag Berlin Heidelberg 2001

Shuttle

Non-Standard Inferences in Description Logics978-3-540-44613-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

無力更進(jìn)