Tractable Extensions of the Description Logic EL with Numerical Datatypes

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Magka, D, Kazakov, Y, Horrocks, I
Μορφή:	Conference item
Έκδοση:	Springer 2010

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Έκδοση 2015

Conference item

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Kazakov, D, Horrocks, I

Έκδοση 2011

Journal article

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Έκδοση 2011

Journal article

Tractable Extensions of the Description Logic EL with Numerical Datatypes. ανά Magka, D, Kazakov, Y, Horrocks, I

Έκδοση 2011

Journal article

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Έκδοση 2010

Conference item

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Έκδοση 2010

Conference item

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Έκδοση 2010

Conference item

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Kazakov, D, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes. ανά Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes ανά Magka, D, Kazakov, Y, Horrocks, I

Παρόμοια τεκμήρια