Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes

अन्य संस्करण दिखाएं (7)

ग्रंथसूची विवरण
मुख्य लेखकों:	Magka, D, Kazakov, Y, Horrocks, I
स्वरूप:	Conference item
प्रकाशित:	CEUR−WS.org 2010

समान संसाधन

Tractable Extensions of the Description Logic EL with Numerical Datatypes
द्वारा: Magka, D, और अन्य
प्रकाशित: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
द्वारा: Magka, D, और अन्य
प्रकाशित: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
द्वारा: Magka, D, और अन्य
प्रकाशित: (2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
द्वारा: Magka, D, और अन्य
प्रकाशित: (2015)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
द्वारा: Magka, D, और अन्य
प्रकाशित: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes.
द्वारा: Magka, D, और अन्य
प्रकाशित: (2011)

Tractable Extensions of the Description Logic EL with Numerical Datatypes
द्वारा: Kazakov, D, और अन्य
प्रकाशित: (2011)

Consequence-based and fixed-parameter tractable reasoning in description logics
द्वारा: Simancik, F, और अन्य
प्रकाशित: (2014)

Dual box embeddings for the description logic EL++
द्वारा: Jackermeier, M, और अन्य
प्रकाशित: (2024)

Tractable query answering and rewriting under description logic constraints.
द्वारा: Pérez-Urbina, H, और अन्य
प्रकाशित: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
द्वारा: Pérez−Urbina, H, और अन्य
प्रकाशित: (2009)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
द्वारा: Kazakov, Y
प्रकाशित: (2010)

Tractable Reasoning with Bayesian Description Logics
द्वारा: d'Amato, C, और अन्य
प्रकाशित: (2008)

Tractable reasoning with bayesian description logics
द्वारा: D'Amato, C, और अन्य
प्रकाशित: (2008)

Tractable Probabilistic Description Logic Programs
द्वारा: Lukasiewicz, T
प्रकाशित: (2007)

Tractable Probabilistic Description Logic Programs
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2013)

Classifying Chemicals Using Description Graphs and Logic Programming
द्वारा: Magka, D, और अन्य
प्रकाशित: (2012)

Chemical Knowledge Representation with Description Graphs and Logic Programming
द्वारा: Magka, D, और अन्य
प्रकाशित: (2011)

Chemical knowledge representation with description graphs and logic programming.
द्वारा: Magka, D, और अन्य
प्रकाशित: (2011)

Modelling Structured Domains Using Description Graphs and Logic Programming.
द्वारा: Magka, D, और अन्य
प्रकाशित: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
द्वारा: Magka, D, और अन्य
प्रकाशित: (2012)

Tractable query answering for description logics via query rewriting
द्वारा: Perez-Urbina, H, और अन्य
प्रकाशित: (2010)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
द्वारा: Motik, B
प्रकाशित: (2012)

Ideal Downward Refinement in the EL Description Logic
द्वारा: Lehmann, J, और अन्य
प्रकाशित: (2009)

OWL Datatypes: Design and Implementation.
द्वारा: Motik, B, और अन्य
प्रकाशित: (2008)

Acyclicity Conditions and their Application to Query Answering in Description Logics
द्वारा: Grau, B, और अन्य
प्रकाशित: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
द्वारा: Grau, B, और अन्य
प्रकाशित: (2012)

Description logics
द्वारा: Krötzsch, M, और अन्य
प्रकाशित: (2013)

Role Conjunctions in Expressive Description Logics
द्वारा: Glimm, B, और अन्य
प्रकाशित: (2008)

Role Conjunctions in Expressive Description Logics
द्वारा: Glimm, B, और अन्य
प्रकाशित: (2008)

Role Conjunctions in Expressive Description Logics
द्वारा: Glimm, B, और अन्य
प्रकाशित: (2008)

Description Logic Programs: Combining Logic Programs with Description Logic
द्वारा: Grosof, Benjamin, और अन्य
प्रकाशित: (2004)

Numerical Representations as Higher−Order Nested Datatypes
द्वारा: Hinze, R
प्रकाशित: (1998)

Incremental Classification of Description Logics Ontologies.
द्वारा: Grau, B, और अन्य
प्रकाशित: (2010)

Incremental Classification of Description Logics Ontologies
द्वारा: Grau, B, और अन्य
प्रकाशित: (2015)

Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
द्वारा: Haase, C, और अन्य
प्रकाशित: (2008)

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
द्वारा: Nikitina, N, और अन्य
प्रकाशित: (2014)

Hypertableau Reasoning for Description Logics
द्वारा: Motik, B, और अन्य
प्रकाशित: (2014)

A Description Logic Primer
द्वारा: Krötzsch, M, और अन्य
प्रकाशित: (2012)

Incremental Classification of Description Logics Ontologies
द्वारा: Grau, C, और अन्य
प्रकाशित: (2010)