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...
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Springer
2010
|
Search Result 1
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Հրապարակվել է 2015
Conference item
Search Result 2
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Հրապարակվել է 2011
Journal article
Search Result 3
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Հրապարակվել է 2011
Journal article
Search Result 4
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Հրապարակվել է 2011
Journal article
Search Result 5
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Հրապարակվել է 2010
Conference item
Search Result 6
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Հրապարակվել է 2010
Conference item
Search Result 7
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Հրապարակվել է 2010
Conference item