[1]Grau B C, Horrocks I, Kazakov Y, et al. Just the right amount:Extracting modules from ontologies[C]∥Proc of WWW,2007:717726.
[2]Grau B C,Horrocks I,Kazakov Y,et al.A logical framework for modularity of ontologies[C]∥Proc of IJCAI,2007:298303.
[3]Wandelt S, Mller R.Towards ABox modularization of semiexpressive description logics[C]∥Proc of Applied Ontology,
2012,7(2):133167.
[4]Romero A A,Kaminski M,Grau B C,et al.Ontology module extraction via datalog reasoning[C]∥Proc of AAAI,2015:14101416.
[5]Antoniou G, Kehagias A. On the refinement of ontologiess[J].International Journal of Intelligent System,2000,15(7):623632.
[6]Lutz C,Wolter F.Deciding inseparability and conservative extensions in the description logic EL[J].Journal of Symbolic Computation,2010,45(2):194228.
[7]Ghilardi S,Lutz C,Wolter F.Did I damage my ontology?[C]∥International Conference on Principles of Knowledge Representation and Reasoning,2006:187197.
[8]Lutz C,Walther D,Wolter F.Conservative extensions in expressive description logics[C]∥Proc of the 20th International Conference on Artifical Intelligence.San Francisco,CA:Morgan Kaufmann Publishers,2007:453458.
[9]Baader F,Calvanese D,McGuinness D L,et al.Patelschneider:The description logic handbook:Theory,implementation,and applications[M].Cambridge:Cambridge University Press 2003.
|