Zooming in on Ontologies: Minimal Modules and Best Excerpts

No abstract is available for this paper.

• Publication year

  2017

• Venue

  International Workshop on the Semantic Web

• Publication date

  2017-10-21

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1007/978-3-319-68288-4_11
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On Computing Minimal EL-Subsumption Modules

  2016influential reference
• BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies

  2016influential reference
• Module Extraction in Expressive Ontology Languages via Datalog Reasoning

  2016cited by this paper
• RDF Digest: Efficient Summarization of RDF/S KBs

  2015cited by this paper
• Towards Extracting Ontology Excerpts

  2015influential reference
• The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs

  2014influential reference
• Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs

  2014cited by this paper
• Just: a Tool for Computing Justifications w.r.t. ELH Ontologies

  2014cited by this paper
• DeaLing with Ontologies using CODs

  2014cited by this paper
• Model-theoretic inseparability and modularity of description logic ontologies

  2013influential reference
• A New Method of Finding All Justifications in OWL 2 EL

  2013cited by this paper
• The Concept Difference for EL-Terminologies using Hypergraphs

  2013cited by this paper
• Logical Relevance in Ontologies

  2012cited by this paper
• The Logical Difference for the Lightweight Description Logic EL

  2012cited by this paper
• Decomposition and Modular Structure of BioPortal Ontologies

  2011cited by this paper
• The Sat4j library, release 2.2

  2010cited by this paper
• Deciding inseparability and conservative extensions in the description logic EL

  2010cited by this paper
• Which Kind of Module Should I Extract?

  2009cited by this paper
• Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

  2009cited by this paper
• Modular Reuse of Ontologies: Theory and Practice

  2008cited by this paper
• Semantic Modularity and Module Extraction in Description Logics

  2008influential reference
• Ontology summarization based on rdf sentence graph

  2007cited by this paper
• Criteria-based partitioning of large ontologies

  2007cited by this paper
• Pinpointing in the Description Logic EL

  2007cited by this paper
• Finding All Justifications of OWL DL Entailments

  2007cited by this paper
• Extending the power of Boolean satisfiability solvers: Techniques and applications

  2007cited by this paper
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints

  2005cited by this paper
• Debugging unsatisfiable classes in OWL ontologies

  2005cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence The Modular Structure of an Ontology: Atomic Decomposition

  year unknowncited by this paper

• Large Language Model for OWL Proofs

  2026cites this paper
• Efficient Extraction of EL-Ontology Deductive Modules

  2023influential citation
• Efficient Computation of General Modules for ALC Ontologies (Extended Version)

  2023cites this paper
• Scaling Usability of ML Analytics with Knowledge Graphs: Exemplified with A Bosch Welding Case

  2021cites this paper
• Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding

  2021cites this paper
• Union and Intersection of all Justifications (Extended Abstract)

  2021cites this paper
• Deductive Module Extraction for Expressive Description Logics (Extended Version)

  2020cites this paper
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)

  2020cites this paper
• Computing Minimal Projection Modules for ELH^r -Terminologies

  2019cites this paper
• Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology

  2019cites this paper
• Ontology Extraction for Large Ontologies via Modularity and Forgetting

  2019cites this paper
• Ontology Focusing: Knowledge-enriched Databases on Demand

  2019cites this paper
• The Semantic Web – ISWC 2018: 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I

  2018influential citation
• Computing Minimal Projection Modules for Conjunctive Queries

  2018cites this paper
• Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving

  2018influential citation
• Browsing Linked Data Catalogs with LODAtlas

  2018cites this paper
• Computing Minimal Subsumption Modules of Ontologies

  2018cites this paper
• Computing ALCH

  2017influential citation
• Computing ALCH-Subsumption Modules Using Uniform Interpolation

  2017cites this paper
• Construction: Applied on Bosch Welding Case

  year unknowncites this paper
• Computing EL minimal modules: a combined approach

  year unknowninfluential citation
• 201901 ​ Modularity Meets Forgetting: A case with the SNOMED CT - Ontology

  year unknowncites this paper