1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 1 cited
Efficient Computation of General Modules for ALC Ontologies (Extended Version)
Hui Yang, Patrick Koopmann, Yue Ma +1
We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology tha…
cs.LO2021
Union and Intersection of all Justifications
Jieying Chen, Yue Ma, Rafael Peñaloza +1
We present new algorithm for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. T…