Changlong Wang

Learn More
We propose a technique that combine an OWL 2 EL reasoner with an OWL 2 reasoner to classify expressive ontologies. We exploit the information implied by the ontology structure to identify a small non-EL ontology that contains necessary axioms to ensure the completeness. In the process of ontology classification , the bulk of workload is delegated to an(More)
We propose a novel approach to modularly structuring an ontology. First, a ontology TBox is transformed into a datalog program. Second, a tree, which represents forward-chaining proof and contains information about modules , is mapped to a digraph, which allows us to extract intended ontology module via breadth-first search. Finally, we develop an algorithm(More)
We propose an incremental reasoning approach to QL ontologies by mapping an evolving ontology to an updatable digraph and maintaining dynamic transitive closure to obtain incremental classification. We describe the procedure of updating ontology digraph and present an approach to identify the affected paths for incremental classification. We implement the(More)
In this paper, we present an analysis expression of p * (A, b) such that the unique solution to l0-minimization also can be the unique solution to lp-minimization for any 0 < p < p * (A, b). Furthermore , the main contribution of this paper isn't only the analysis expressed of such p * (A, b) but also its proof. Finally, we display the results of two(More)
  • 1