Changlong Wang

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)
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 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)
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)
The mouthpart of a honeybee is prone to contamination by granular particles such as pollen or dirt from the field. To clean the contaminated mouthparts, a honeybee swings its foreleg tarsi forward and backward to brush the proboscis continuously, sweeping the contaminant from the surfaces of the labial palpi, galeae, and bushy haired tongue (glossa). This(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)