A Logical Framework for Modularity of Ontologies.

A Logical Framework for Modularity of Ontologies.

Show other versions (1)

Bibliographic Details
Main Authors:	Grau, B, Horrocks, I, Kazakov, Y, Sattler, U
Format:	Conference item
Published:	2007

Similar Items

A Logical Framework for Modularity of Ontologies.
by: Grau, B, et al.
Published: (2007)

Modular Reuse of Ontologies: Theory and Practice
by: Grau, B, et al.
Published: (2008)

Modular Reuse of Ontologies: Theory and Practice.
by: Grau, B, et al.
Published: (2008)

Modular Reuse of Ontologies: Theory and Practice
by: Cuenca Grau, B, et al.
Published: (2008)

Extracting Modules from Ontologies: A Logic−based Approach
by: Grau, B, et al.
Published: (2007)

Extracting Modules from Ontologies: A Logic−based Approach
by: Grau, B, et al.
Published: (2009)

Extracting Modules From Ontologies: A Logic−based Approach
by: Grau, B, et al.
Published: (2015)

Extracting Modules from Ontologies: A Logic−Based Approach
by: Grau, B, et al.
Published: (2009)

Ontology Reuse: Better Safe than Sorry.
by: Grau, B, et al.
Published: (2015)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
by: Motik, B, et al.
Published: (2009)

Representing ontologies using description logics, description graphs, and rules.
by: Motik, B, et al.
Published: (2009)

Just the Right Amount: Extracting Modules from Ontologies.
by: Grau, B, et al.
Published: (2007)

Ontology Reuse: Better Safe than Sorry
by: Cuenca Grau, B, et al.
Published: (2007)

Just the Right Amount: Extracting Modules from Ontologies
by: Cuenca Grau, B, et al.
Published: (2007)

Extracting Modules from Ontologies: Theory and Practice
by: Grau, C, et al.
Published: (2007)

Modular Combination of Reasoners for Ontology Classification
by: Grau, A, et al.
Published: (2012)

Modular Combination of Reasoners for Ontology Classification
by: Romero, A, et al.
Published: (2012)

MORe: Modular Combination of OWL Reasoners for Ontology Classification
by: Romero, A, et al.
Published: (2012)

Incremental Classification of Description Logics Ontologies.
by: Grau, B, et al.
Published: (2010)

Incremental Classification of Description Logics Ontologies
by: Grau, B, et al.
Published: (2015)

Will my Ontologies Fit Together?
by: Cuenca Grau, B, et al.
Published: (2006)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
by: Motik, B, et al.
Published: (2008)

Hybrid Logics and Ontology Languages
by: Glimm, I, et al.
Published: (2007)

Incremental Classification of Description Logics Ontologies
by: Grau, C, et al.
Published: (2010)

Logic-based assessment of the compatibility of UMLS ontology sources
by: Ruiz, E, et al.
Published: (2011)

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences
by: Ruiz, E, et al.
Published: (2009)

Modularizing OWL Ontologies
by: Grau, B, et al.
Published: (2005)

Modularizing OWL Ontologies
by: Grau, B, et al.
Published: (2005)

Modularity and Web Ontologies.
by: Grau, B, et al.
Published: (2006)

Safe and Economic re−use of ontologies: a logic−based methodology and tool support
by: Jimenez−Ruiz, E, et al.
Published: (2008)

Modular Ontology Languages Revisited
by: Cuenca Grau, B, et al.
Published: (2007)

Supporting concurrent ontology development: Framework‚ algorithms and tool
by: Ruiz, E, et al.
Published: (2011)

Safe and Economic re−use of ontologies: a logic−based methodology and tool support
by: Jimenez−Ruiz, E, et al.
Published: (2008)

Supporting concurrent ontology development: Framework, algorithms and tool.
by: Jiménez-Ruiz, E, et al.
Published: (2011)

Consequence−Based Reasoning beyond Horn Ontologies
by: Simancik, F, et al.
Published: (2015)

Conjunctive Query Answering for Description Logics with Transitive Roles
by: Glimm, B, et al.
Published: (2006)

Conjunctive Query Answering in the Description Logic SHIQ
by: Glimm, B, et al.
Published: (2007)

Conjunctive query answering for the description logic SHIQ
by: Glimm, B, et al.
Published: (2008)

Conjunctive Query Answering for the Description Logic SHIQ
by: Glimm, B, et al.
Published: (2008)

Conjunctive Query Answering in the Description Logic SHIQ
by: Glimm, B, et al.
Published: (2006)