Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.

An important goal of research in description logics (DLs) and related logic-based KR formalisms is to identify the worst-case complexity of reasoning. Such results, however, measure the complexity of a logic as a whole. For example, reasoning in the basic DL is ExpTime-complete, which means that con...

Detaylı Bibliyografya
Yazar:	Motik, B
Diğer Yazarlar:	Bjørner, N
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Springer 2012

Benzer Materyaller

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

Fixed Parameter Tractable Reasoning in DLs via Decomposition.
Yazar:: Simancik, F, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

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

Tractable Reasoning in a Fragment of Separation Logic.
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Tractable reasoning in a fragment of separation logic
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

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)

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

Individual Reuse in Description Logic Reasoning.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Optimized Reasoning in Description Logics Using Hypertableaux.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Minimizing Movement: Fixed-Parameter Tractability
Yazar:: Demaine, Erik D, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Minimizing Movement: Fixed-Parameter Tractability
Yazar:: Demaine, Erik D, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Minimizing movement: Fixed-parameter tractability
Yazar:: Demaine, Erik 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:: 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: (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:: Kazakov, 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: (2010)

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

Optimized Description Logic Reasoning via Core Blocking.
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Optimized Description Logic Reasoning via Core Blocking
Yazar:: Glimm, B, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
Yazar:: Hustadt, U, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

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

Consequence-based reasoning for description logics with disjunctions and number restrictions
Yazar:: Bate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Yazar:: Bate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Semantic width and the fixed-parameter tractability of constraint satisfaction problems
Yazar:: Chen, H, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Combining Description Logics, Description Graphs, and Rules.
Yazar:: Motik, B
Baskı/Yayın Bilgisi: (2010)

Pushing the boundaries of tractable ontology reasoning
Yazar:: Carral, D, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Tractable probabilistic models for causal learning and reasoning
Yazar:: Wang, B
Baskı/Yayın Bilgisi: (2023)

A Tractable Logic for Molecular Biology
Yazar:: Adrien Husson, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Fixed-parameter tractable sampling for RNA design with multiple target structures
Yazar:: Stefan Hammer, ve diğerleri
Baskı/Yayın Bilgisi: (2019-04-01)

Reconciling description logics and rules.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
Yazar:: Baumgartner, R, ve diğerleri
Baskı/Yayın Bilgisi: (1999)