Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Show other versions (7)

We consider extensions of the lightweight description logic (DL) EL with numerical datatypes such as naturals, integers, rationals and reals equipped with relations such as equality and inequalities. It is well-known that the main reasoning problems for such DLs are decidable in polynomial time prov...

תיאור מלא

מידע ביבליוגרפי
Main Authors: Magka, D, Kazakov, Y, Horrocks, I
פורמט: Conference item
יצא לאור: Springer 2010
Show all versions (8)

פריטים דומים