Changlong Wang

  • Citations Per Year
Learn More
Large scale ontology applications require efficient reasoning services, of which ontology classification is the fundamental reasoning task. The special EL reasoners are efficient, but they can not classify ontologies with axioms outside the OWL 2 EL profile. The general-purpose OWL 2 reasoners for expressive Description Logics are less efficient when(More)
A distributed cross-layer control algorithm for rate control, routing, antenna scheduling and power allocation is proposed for multi-hop satellite networks. First, considering constraints of link rate, power and antenna number, a network utility maximization model is formulated. Then the maximization problem is decomposed into three subproblems of different(More)
In order to comprehensively evaluate the undergraduate teaching job quality of colleges and universities, the evaluation simulation model was set up using artificial fish-swarm-neural network; taking the teaching management ,major construction and curriculum reform, teaching research and the results , the teaching quality for the input layer, the(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)
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 examples to(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)
The soul and premise of cultivation modes of compound application talents are correct attitudes of education and engineering. This paper assumes that science and engineering universities should adapt to the needs of time and substitute &#x0201C;the attitudes of engineering education&#x0201D; for traditional &#x0201C;attitude of technology(More)