Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Hiển thị phiên bản (7) khác

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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Magka, D, Kazakov, Y, Horrocks, I
Định dạng:	Conference item
Được phát hành:	Springer 2010

Những quyển sách tương tự

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Bằng: Magka, D, et al.
Được phát hành: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Bằng: Magka, D, et al.
Được phát hành: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Bằng: Magka, D, et al.
Được phát hành: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Bằng: Magka, D, et al.
Được phát hành: (2015)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Bằng: Magka, D, et al.
Được phát hành: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Bằng: Magka, D, et al.
Được phát hành: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Bằng: Kazakov, D, et al.
Được phát hành: (2011)

Consequence-based and fixed-parameter tractable reasoning in description logics
Bằng: Simancik, F, et al.
Được phát hành: (2014)

Tractable query answering and rewriting under description logic constraints.
Bằng: Pérez-Urbina, H, et al.
Được phát hành: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2009)

Tractable Reasoning with Bayesian Description Logics
Bằng: d'Amato, C, et al.
Được phát hành: (2008)

Tractable reasoning with bayesian description logics
Bằng: D'Amato, C, et al.
Được phát hành: (2008)

Tractable Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T
Được phát hành: (2007)

Tractable Probabilistic Description Logic Programs
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

OWL Datatypes: Design and Implementation.
Bằng: Motik, B, et al.
Được phát hành: (2008)

Classifying Chemicals Using Description Graphs and Logic Programming
Bằng: Magka, D, et al.
Được phát hành: (2012)

Chemical Knowledge Representation with Description Graphs and Logic Programming
Bằng: Magka, D, et al.
Được phát hành: (2011)

Chemical knowledge representation with description graphs and logic programming.
Bằng: Magka, D, et al.
Được phát hành: (2011)

Modelling Structured Domains Using Description Graphs and Logic Programming.
Bằng: Magka, D, et al.
Được phát hành: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
Bằng: Magka, D, et al.
Được phát hành: (2012)

Tractable query answering for description logics via query rewriting
Bằng: Perez-Urbina, H, et al.
Được phát hành: (2010)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
Bằng: Motik, B
Được phát hành: (2012)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
Bằng: Kazakov, Y
Được phát hành: (2010)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Bằng: Grau, B, et al.
Được phát hành: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Bằng: Grau, B, et al.
Được phát hành: (2012)

Numerical Representations as Higher−Order Nested Datatypes
Bằng: Hinze, R
Được phát hành: (1998)

Nested Datatypes
Bằng: Bird, R, et al.
Được phát hành: (1998)

Manufacturing Datatypes
Bằng: Hinze, R
Được phát hành: (1999)

Manufacturing Datatypes
Bằng: Hinze, R
Được phát hành: (1999)

Manufacturing datatypes
Bằng: Hinze, R
Được phát hành: (2001)

A Tractable Logic for Molecular Biology
Bằng: Adrien Husson, et al.
Được phát hành: (2019-09-01)

Parametric Datatype−Genericity
Bằng: Gibbons, J, et al.
Được phát hành: (2009)

Datatype−Generic Programming
Được phát hành: (2007)

On the semantics of nested datatypes
Bằng: Martin, C, et al.
Được phát hành: (2001)

Parametric Datatype-Genericity
Bằng: Gibbons, J, et al.
Được phát hành: (2009)

Datatype-generic programming
Bằng: Gibbons, J
Được phát hành: (2007)

Unfolding Abstract Datatypes
Bằng: Gibbons, J
Được phát hành: (2008)

Unfolding abstract datatypes
Bằng: Gibbons, J
Được phát hành: (2008)

On the Semantics of Nested Datatypes
Bằng: Martin, C, et al.
Được phát hành: (2001)

Datatype−Generic Programming
Bằng: Gibbons, J
Được phát hành: (2007)