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) ε ℓ 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 pro...

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:	Journal article
Ngôn ngữ:	English
Được phát hành:	2011

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: (2011)

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: (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: (2010)

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)

Dual box embeddings for the description logic EL++
Bằng: Jackermeier, M, et al.
Được phát hành: (2024)

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)

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

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)

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)

Classifying Chemicals 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)

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

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
Bằng: Motik, B
Đượ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)

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

Ideal Downward Refinement in the EL Description Logic
Bằng: Lehmann, J, et al.
Được phát hành: (2009)

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)

Description logics
Bằng: Krötzsch, M, et al.
Được phát hành: (2013)

Role Conjunctions in Expressive Description Logics
Bằng: Glimm, B, et al.
Được phát hành: (2008)

Role Conjunctions in Expressive Description Logics
Bằng: Glimm, B, et al.
Được phát hành: (2008)

Role Conjunctions in Expressive Description Logics
Bằng: Glimm, B, et al.
Được phát hành: (2008)

Description Logic Programs: Combining Logic Programs with Description Logic
Bằng: Grosof, Benjamin, et al.
Được phát hành: (2004)

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

Incremental Classification of Description Logics Ontologies.
Bằng: Grau, B, et al.
Được phát hành: (2010)

Incremental Classification of Description Logics Ontologies
Bằng: Grau, B, et al.
Được phát hành: (2015)

Hypertableau Reasoning for Description Logics
Bằng: Motik, B, et al.
Được phát hành: (2014)

A Description Logic Primer
Bằng: Krötzsch, M, et al.
Được phát hành: (2012)

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
Bằng: Nikitina, N, et al.
Được phát hành: (2014)

Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Bằng: Haase, C, et al.
Được phát hành: (2008)

Individual Reuse in Description Logic Reasoning.
Bằng: Motik, B, et al.
Được phát hành: (2008)