To apply IPv6 to IEEE 802.15.4-based low-power wireless personal area networks, efficient packet header compression is essential to adapt to limited bandwidth, memory and energy resources of such networks. While the e...
详细信息
In this paper, an effective metaheuristic is developed for the no-wait job shop problem with the objective of makespan minimization, which is strongly NP-hard. The problem is usually decomposed into a sequencing sub-p...
详细信息
Named entity disambiguation is an important task in the process of knowledge space construction and improvement, which builds a bridge between entities in text and entities in knowledge space. However, the existing en...
详细信息
The problem of multi-label classification has attracted great interests in the last decade. Multi-label classification refers to the problems where an example that is represented by a single instance can be assigned t...
详细信息
Partial label learning deals with the problem where each training example is associated with a set of candidate labels, among which only one is correct. The common strategy is to try to disambiguate their candidate la...
详细信息
Finding justifications plays an important role in the development and maintenance of ontologies. It helps users or developers to understand the entailments by presenting the minimal subsets of the ontology which are r...
详细信息
In the keyphrase prediction task, it is usually difficult for a single corpus information to help the model learn enough core information, so this paper improves the current keyphrase generation method based on the co...
详细信息
One of the fundamental challenges for Peer to Peer (P2P) systems is the ability to manage risks involved in interacting and collaborating with prior unknown and potentially malicious parties. Reputation-based trust ma...
详细信息
As technology scales, multiple bit upsets (MBUs) have shown prominent effect, thus affecting the reliability of memory to a great extent. In order to mitigate MBUs errors, interleaving schemes together with single err...
详细信息
Inconsistency handling in OWL DL ontologies is an important problem because an ontology can easily be inconsistent when it is generated or modified. Current approaches to dealing with inconsistent ontologies often ass...
详细信息
ISBN:
(纸本)9781614994190;9781614994183
Inconsistency handling in OWL DL ontologies is an important problem because an ontology can easily be inconsistent when it is generated or modified. Current approaches to dealing with inconsistent ontologies often assume that there exists a total order over axioms and use such an order to select axioms to remove. However, in some cases, such as ontology merging, a total order may not be available and we only have a partial order over axioms. In this paper, we consider a general notion of logical inconsistency and define the notion of conflict of an inconsistent ontology. We then propose a general approach to resolving inconsistency of a partially ordered ontology. We instantiate this approach by proposing two algorithms to calculate prioritized hitting sets for a set of conflicts. We implement the algorithms and provide evaluation results on the efficiency and effectiveness by considering both artificial and real-life data sets.
暂无评论