Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Magka, D, Kazakov, Y, Horrocks, I
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	LNAI 2010

Benzer Materyaller

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Yazar:: Kazakov, D, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Dual box embeddings for the description logic EL++
Yazar:: Jackermeier, M, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Consequence-based and fixed-parameter tractable reasoning in description logics
Yazar:: Simancik, F, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Tractable query answering and rewriting under description logic constraints.
Yazar:: Pérez-Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
Yazar:: Pérez−Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
Yazar:: Kazakov, Y
Baskı/Yayın Bilgisi: (2010)

Tractable Reasoning with Bayesian Description Logics
Yazar:: d'Amato, C, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Tractable reasoning with bayesian description logics
Yazar:: D'Amato, C, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Tractable Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2007)

Tractable Probabilistic Description Logic Programs
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Classifying Chemicals Using Description Graphs and Logic Programming
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Chemical Knowledge Representation with Description Graphs and Logic Programming
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Chemical knowledge representation with description graphs and logic programming.
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Modelling Structured Domains Using Description Graphs and Logic Programming.
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Ideal Downward Refinement in the EL Description Logic
Yazar:: Lehmann, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Tractable query answering for description logics via query rewriting
Yazar:: Perez-Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
Yazar:: Motik, B
Baskı/Yayın Bilgisi: (2012)

OWL Datatypes: Design and Implementation.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Description logics
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Role Conjunctions in Expressive Description Logics
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Role Conjunctions in Expressive Description Logics
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Role Conjunctions in Expressive Description Logics
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Description Logic Programs: Combining Logic Programs with Description Logic
Yazar:: Grosof, Benjamin, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Numerical Representations as Higher−Order Nested Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1998)

Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Yazar:: Haase, C, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
Yazar:: Nikitina, N, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Incremental Classification of Description Logics Ontologies.
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Incremental Classification of Description Logics Ontologies
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Hypertableau Reasoning for Description Logics
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

A Description Logic Primer
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Incremental Classification of Description Logics Ontologies
Yazar:: Grau, C, ve diğerleri
Baskı/Yayın Bilgisi: (2010)