Combining Description Logics, Description Graphs, and Rules.

Combining Description Logics, Description Graphs, and Rules.

Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in arbitrary, rather than tree-like ways. To address this problem, we propose an extension of DL langu...

Полное описание

Библиографические подробности
Главный автор:	Motik, B
Другие авторы:	Croitoru, M
Формат:	Journal article
Язык:	English
Опубликовано:	Springer 2010

Схожие документы

Representing ontologies using description logics, description graphs, and rules.
по: Motik, B, и др.
Опубликовано: (2009)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
по: Motik, B, и др.
Опубликовано: (2009)

Reconciling description logics and rules.
по: Motik, B, и др.
Опубликовано: (2010)

Chemical knowledge representation with description graphs and logic programming.
по: Magka, D, и др.
Опубликовано: (2011)

Classifying Chemicals Using Description Graphs and Logic Programming
по: Magka, D, и др.
Опубликовано: (2012)

Chemical Knowledge Representation with Description Graphs and Logic Programming
по: Magka, D, и др.
Опубликовано: (2011)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
по: Motik, B, и др.
Опубликовано: (2008)

Modelling Structured Domains Using Description Graphs and Logic Programming.
по: Magka, D, и др.
Опубликовано: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
по: Magka, D, и др.
Опубликовано: (2012)

Description logic rules /
по: 518544 Krt̲zsch, Markus
Опубликовано: (c201)

Hypertableau Reasoning for Description Logics
по: Motik, B, и др.
Опубликовано: (2014)

Individual Reuse in Description Logic Reasoning.
по: Motik, B, и др.
Опубликовано: (2008)

Incoherency Problems in a Combination of Description Logics and Rules
по: Shasha Huang, и др.
Опубликовано: (2014-01-01)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
по: Motik, B
Опубликовано: (2012)

Description Logic Programs: Combining Logic Programs with Description Logic
по: Grosof, Benjamin, и др.
Опубликовано: (2004)

Optimized Reasoning in Description Logics Using Hypertableaux.
по: Motik, B, и др.
Опубликовано: (2007)

Deciding expressive description logics in the framework of resolution.
по: Hustadt, U, и др.
Опубликовано: (2008)

Optimized Description Logic Reasoning via Core Blocking.
по: Glimm, B, и др.
Опубликовано: (2010)

Optimized Description Logic Reasoning via Core Blocking
по: Glimm, B, и др.
Опубликовано: (2010)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
по: Hustadt, U, и др.
Опубликовано: (2007)

Rewriting Conjunctive Queries under Description Logic Constraints
по: Pérez−Urbina, H, и др.
Опубликовано: (2008)

Logic Graphs for ALC, SHIF and SHOIN Description Logics
по: Nguyen Ngoc Than, и др.
Опубликовано: (2020-09-01)

The Representation of Structured Objects in DLs using Description Graphs
по: Motik, B, и др.
Опубликовано: (2008)

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
по: Motik, B, и др.
Опубликовано: (2006)

Nominal Schemas for Integrating Rules and Description Logics.
по: Krötzsch, M, и др.
Опубликовано: (2011)

Consequence-based and fixed-parameter tractable reasoning in description logics
по: Simancik, F, и др.
Опубликовано: (2014)

Tractable query answering and rewriting under description logic constraints.
по: Pérez-Urbina, H, и др.
Опубликовано: (2010)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
по: Pérez-Urbina, H, и др.
Опубликовано: (2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases
по: Pérez−Urbina, H, и др.
Опубликовано: (2008)

Tractable Query Answering and Rewriting under Description Logic Constraints
по: Pérez−Urbina, H, и др.
Опубликовано: (2009)

Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)
по: Pérez−Urbina, H, и др.
Опубликовано: (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)

Consequence-based reasoning for description logics with disjunctions and number restrictions
по: Bate, A, и др.
Опубликовано: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
по: Bate, A, и др.
Опубликовано: (2018)

Stable Model Semantics for Guarded Existential Rules and Description Logics
по: Gottlob, G, и др.
Опубликовано: (2014)

Description logics
по: Krötzsch, M, и др.
Опубликовано: (2013)

Combining answer set programming with description logics for the semantic Web
по: Eiter, T, и др.
Опубликовано: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
по: Eiter, T, и др.
Опубликовано: (2004)

Combining Answer Set Programming with Description Logics for the Semantic Web
по: Eiter, T, и др.
Опубликовано: (2008)