Updating Direct Graph for Incremental Reasoning in OWL 2 QL Ontology
暂无分享,去创建一个
[1] Bernardo Cuenca Grau,et al. Incremental Classification of Description Logics Ontologies , 2010, Journal of Automated Reasoning.
[2] Valerie King,et al. A fully dynamic algorithm for maintaining the transitive closure , 1999, STOC '99.
[3] Pavel Klinov,et al. Incremental Reasoning in OWL EL without Bookkeeping , 2013, International Semantic Web Conference.
[4] Yavor Nenov,et al. Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm , 2015, AAAI.
[5] Domenico Lembo,et al. A Graph-Based Approach for Classifying OWL 2 QL Ontologies , 2013, Description Logics.
[6] Diego Calvanese,et al. The MASTRO system for ontology-based data access , 2011, Semantic Web.