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)