A Distributed Tableau Algorithm for Package-based Description Logics

  title={A Distributed Tableau Algorithm for Package-based Description Logics},
  author={Jie Bao and Doina Caragea and Vasant G. Honavar},
Package-based Description Logics (P-DL) is a novel formalism for modular ontologies. In P-DL, an ontology is composed of a collection of modules called packages . A package can partially reuse knowledge in other packages by a selective importing mechanism. This paper investigates a sound and complete tableau-based reasoning algorithm for a P-DL language ALCPC , which extends ALC with acyclic concept importing between packages. The algorithm allows the reasoning process to be distributed based… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Augmenting Subsumption Propagation in Distributed Description Logics

Applied Artificial Intelligence • 2010
View 9 Excerpts
Highly Influenced

Modularizing OWL Ontologies Using $E^{DDL} _{HQ^+}$ $\mathcal{SHIQ}$

2012 IEEE 24th International Conference on Tools with Artificial Intelligence • 2012
View 15 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 15 references

Similar Papers

Loading similar papers…