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

Efficiently querying Description Logic (DL) ontologies is becoming a vitaltask in various data-intensive DL applications. Considered as a basic servicefor answering object queries over DL ontologies, instance checking can berealized by using the most specific concept (MSC) method, which convertsinstance checking into subsumption problems. This method, however, loses itssimplicity and efficiency when applied to large and complex ontologies, as ittends to generate very large MSC's that could lead to intractable reasoning. Inthis paper, we propose a revision to this MSC method for DL SHI, allowing it togenerate much simpler and smaller concepts that are specific-enough to answer agiven query. With independence between computed MSC's, scalability for queryanswering can also be achieved by distributing and parallelizing thecomputations. An empirical evaluation shows the efficacy of our revised MSCmethod and the significant efficiency achieved when using it for answeringobject queries.

Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies