Representing Ontologies Using Description Logics‚ Description Graphs and Rules

Representing Ontologies Using Description Logics‚ Description Graphs and Rules

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Motik, B, Grau, B, Horrocks, I, Sattler, U
Formáid:	Journal article
Foilsithe / Cruthaithe:	2009

Míreanna comhchosúla

Representing ontologies using description logics, description graphs, and rules.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2009)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2008)

Representing Structured Objects using Description Graphs
de réir: Motic, B, et al.
Foilsithe / Cruthaithe: (2008)

Combining Description Logics, Description Graphs, and Rules.
de réir: Motik, B
Foilsithe / Cruthaithe: (2010)

Classifying Chemicals Using Description Graphs and Logic Programming
de réir: Magka, D, et al.
Foilsithe / Cruthaithe: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
de réir: Magka, D, et al.
Foilsithe / Cruthaithe: (2012)

Modelling Structured Domains Using Description Graphs and Logic Programming.
de réir: Magka, D, et al.
Foilsithe / Cruthaithe: (2012)

The Representation of Structured Objects in DLs using Description Graphs
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2008)

Chemical Knowledge Representation with Description Graphs and Logic Programming
de réir: Magka, D, et al.
Foilsithe / Cruthaithe: (2011)

Chemical knowledge representation with description graphs and logic programming.
de réir: Magka, D, et al.
Foilsithe / Cruthaithe: (2011)

Reconciling description logics and rules.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2010)

Individual Reuse in Description Logic Reasoning.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2008)

Hypertableau Reasoning for Description Logics
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

Optimized Reasoning in Description Logics Using Hypertableaux.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2007)

Deciding expressive description logics in the framework of resolution.
de réir: Hustadt, U, et al.
Foilsithe / Cruthaithe: (2008)

A Logical Framework for Modularity of Ontologies.
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2007)

A Logical Framework for Modularity of Ontologies.
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2007)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
de réir: Hustadt, U, et al.
Foilsithe / Cruthaithe: (2007)

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2006)

Optimized Description Logic Reasoning via Core Blocking.
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2010)

Optimized Description Logic Reasoning via Core Blocking
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2010)

Incremental Classification of Description Logics Ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2015)

Incremental Classification of Description Logics Ontologies.
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2010)

Conjunctive Query Answering for Description Logics with Transitive Roles
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2006)

Conjunctive Query Answering for the Description Logic SHIQ
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2008)

Conjunctive Query Answering in the Description Logic SHIQ
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2007)

Conjunctive Query Answering in the Description Logic SHIQ
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2006)

Conjunctive query answering for the description logic SHIQ
de réir: Glimm, B, et al.
Foilsithe / Cruthaithe: (2008)

Incremental Classification of Description Logics Ontologies
de réir: Grau, C, et al.
Foilsithe / Cruthaithe: (2010)

Computing horn rewritings of description logics ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2015)

Extracting Modules from Ontologies: A Logic−Based Approach
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2009)

Extracting Modules from Ontologies: A Logic−based Approach
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2009)

Extracting Modules from Ontologies: A Logic−based Approach
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2007)

Extracting Modules From Ontologies: A Logic−based Approach
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2015)

Acyclicity Conditions and their Application to Query Answering in Description Logics
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2012)

Representing Ontology Mappings with Probabilistic Description Logics Programs
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2008)

Rewriting Conjunctive Queries under Description Logic Constraints
de réir: Pérez−Urbina, H, et al.
Foilsithe / Cruthaithe: (2008)

Consequence-based and fixed-parameter tractable reasoning in description logics
de réir: Simancik, F, et al.
Foilsithe / Cruthaithe: (2014)

Consequence-based reasoning for description logics with disjunctions and number restrictions
de réir: Bate, A, et al.
Foilsithe / Cruthaithe: (2018)