Extracting a justification for OWL ontologies by critical axioms.
Frontiers Comput. Sci., 2020
Vertex Selection Heuristics in Branch-and-Bound Algorithms for the Maximum <i>k</i>-Plex Problem.
Int. J. Artif. Intell. Tools, 2019
Integrity Constraint Validation in DL-Lite _R Based Ontology Using Rewriting.
Proceedings of the Social Computing, 2016
Integrity constraints in OWL ontologies based on grounded circumscription.
Frontiers Comput. Sci., 2013
Persistent Storage of Ontology-Based Data with Integrity Constraints.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010