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 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 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)
According to existing problems in universities undergraduate practice teaching work, a simulation model is established on neural network, according to experiment teaching, practice teaching, graduation project and graduation thesis, laboratory management and equipment use as input layer, quality of universities undergraduate practice teaching work as output(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)
The evaluation of real estate investment environment is a systematic project involving multi-factor. Accordingly, select the most impact on the real estate investment environment to evaluate factors as indicators, establish unascertained measure comprehensive evaluation model. Applications used by the model shows that the evaluation result can objectively(More)