Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.

AllBooks Images Videos Maps News Shopping

[PDF] Exponential Speedup in UL Subsumption Checking Relative to ...

Abstract. The complexity of the subsumption problem in description logics can vary widely with the choice of the syntactic fragment and the semantic ...

[PDF] Pushing the EL Envelope Further - Semantic Scholar

www.semanticscholar.org › paper › Push...

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics · M. MendlerStephan Scheele. Computer Science ...

‪Stephan Scheele‬ - ‪Google Scholar‬

scholar.google.cz › citations

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. M Mendler, S Scheele. Description Logics 477, 2009.

Michael Mendler - DBLP

dblp.org › Persons

Oct 4, 2024 · Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. Description Logics 2009; 2008. [j13].

SPACMoDL - Grundlagen der Informatik - Universität Bamberg

www.uni-bamberg.de › ... › Research

Mendler, M. (2009) Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics, 22nd International Workshop on ...

‪Stephan Scheele‬ - ‪Google Scholar‬

scholar.google.com › citations

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. M Mendler, S Scheele. Description Logics 477, 2009.

Robert Dionne's research works | National Cancer Institute (USA) and ...

www.researchgate.net › Robert-Dionne-1...

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. A Non-Well-Founded Approach to Terminological Cycles.

[PDF] Subsumption of Concepts in FL0y for ... - Semantic Scholar

www.semanticscholar.org › paper

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics · M. Mendler · Description Logics ; Generalized ...

‪Stephan Scheele‬ - ‪Google Tudós‬ - Google Scholar

scholar.google.com.mx › citations

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. M Mendler, S Scheele. Description Logics 477, 2009.

Description Logics 2009: Oxford, UK - DBLP

dblp.org › ... › Description Logics

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. view. electronic edition @ ceur-ws.org (open access) ...