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

相似書籍

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2015)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Magka, D, et al.
出版: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
由: Magka, D, et al.
出版: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
由: Kazakov, D, et al.
出版: (2011)

Consequence-based and fixed-parameter tractable reasoning in description logics
由: Simancik, F, et al.
出版: (2014)

Tractable query answering and rewriting under description logic constraints.
由: Pérez-Urbina, H, et al.
出版: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
由: Pérez−Urbina, H, et al.
出版: (2009)

Tractable Reasoning with Bayesian Description Logics
由: d'Amato, C, et al.
出版: (2008)

Tractable reasoning with bayesian description logics
由: D'Amato, C, et al.
出版: (2008)

Tractable Probabilistic Description Logic Programs
由: Lukasiewicz, T
出版: (2007)

Tractable Probabilistic Description Logic Programs
由: Lukasiewicz, T, et al.
出版: (2013)

OWL Datatypes: Design and Implementation.
由: Motik, B, et al.
出版: (2008)

Classifying Chemicals Using Description Graphs and Logic Programming
由: Magka, D, et al.
出版: (2012)

Chemical Knowledge Representation with Description Graphs and Logic Programming
由: Magka, D, et al.
出版: (2011)

Chemical knowledge representation with description graphs and logic programming.
由: Magka, D, et al.
出版: (2011)

Modelling Structured Domains Using Description Graphs and Logic Programming.
由: Magka, D, et al.
出版: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
由: Magka, D, et al.
出版: (2012)

Tractable query answering for description logics via query rewriting
由: Perez-Urbina, H, et al.
出版: (2010)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
由: Motik, B
出版: (2012)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
由: Kazakov, Y
出版: (2010)

Acyclicity Conditions and their Application to Query Answering in Description Logics
由: Grau, B, et al.
出版: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
由: Grau, B, et al.
出版: (2012)

Numerical Representations as Higher−Order Nested Datatypes
由: Hinze, R
出版: (1998)

Nested Datatypes
由: Bird, R, et al.
出版: (1998)

Manufacturing Datatypes
由: Hinze, R
出版: (1999)

Manufacturing Datatypes
由: Hinze, R
出版: (1999)

Manufacturing datatypes
由: Hinze, R
出版: (2001)

A Tractable Logic for Molecular Biology
由: Adrien Husson, et al.
出版: (2019-09-01)

Parametric Datatype−Genericity
由: Gibbons, J, et al.
出版: (2009)

Datatype−Generic Programming
出版: (2007)

On the semantics of nested datatypes
由: Martin, C, et al.
出版: (2001)

Parametric Datatype-Genericity
由: Gibbons, J, et al.
出版: (2009)

Datatype-generic programming
由: Gibbons, J
出版: (2007)

Unfolding Abstract Datatypes
由: Gibbons, J
出版: (2008)

Unfolding abstract datatypes
由: Gibbons, J
出版: (2008)

On the Semantics of Nested Datatypes
由: Martin, C, et al.
出版: (2001)

Datatype−Generic Programming
由: Gibbons, J
出版: (2007)