Learn More
Revision of a description logic-based ontology deals with the problem of incorporating newly received information consistently. In this paper, we propose a general operator for revising terminologies in description logic-based on-tologies. Our revision operator relies on a reformulation of the kernel contraction operator in belief revision. We first define(More)
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose pos-sibilistic description logics as an extension of description logics. We give semantics and syntax of possibilistic description logics. We then define two inference services in possibilistic description logics. Since(More)
One of the major challenges in managing networked and dynamic on-tologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating multiple distributed ontologies. Our RaDON system provides functionalities to repair and diagnose ontology networks by extending the capabilities of existing reasoners. The system(More)
Visual experience during a critical period early in postnatal development can change connections within mammalian visual cortex. In a kitten at the peak of the critical period (approximately P28-42), brief monocular deprivation can lead to complete dominance by the open eye, an ocular dominance shift. This process is driven by activity from the eyes, and(More)
We compared the effect of 2 days of monocular vision on the ocular dominance of cells in the visual cortex of light-reared kittens with the effect in dark-reared kittens at 6, 9, and 14 weeks of age, and analyzed the results by layer. The size of the ocular-dominance shift declined with age in all layers in light-reared animals. There was not a large change(More)
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitate important tasks like debugging inconsistencies or undesired subsumption. Though several algorithms for finding all justifications exist, issues concerning efficiency and(More)
The growing popularity of semantic applications makes scal-ability of ontology reasoning tasks increasingly important. In this work, we first analyze the ontology landscape on the web, and identify typical clusters of expressivity. Second, we benchmark current ontology reason-ers, by using representative ontologies for each cluster and a comprehensive set(More)
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either automatically or semi-automatically. However, the mappings generated by these systems may be inconsistent with the ontologies. Several approaches have been proposed to deal with the(More)