English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present a method for extracting general modules for ontologies formulatedin the description logic ALC. A module for an ontology is an ideallysubstantially smaller ontology that preserves all entailments for auser-specified set of terms. As such, it has applications such as ontologyreuse and ontology analysis. Different from classical modules, general modulesmay use axioms not explicitly present in the input ontology, which allows foradditional conciseness. So far, general modules have only been investigated forlightweight description logics. We present the first work that considers themore expressive description logic ALC. In particular, our contribution is a newmethod based on uniform interpolation supported by some new theoreticalresults. Our evaluation indicates that our general modules are often smallerthan classical modules and uniform interpolants computed by thestate-of-the-art, and compared with uniform interpolants, can be computed in asignificantly shorter time. Moreover, our method can be used for, and in factimproves, the computation of uniform interpolants and classical modules.

Efficient Computation of General Modules for ALC Ontologies (Extended Version)