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)