28 research outputs found
Adding Threshold Concepts to the Description Logic EL
We introduce an extension of the lightweight Description Logic EL that allows us to de_ne concepts in an approximate way. For this purpose, we use a graded membership function, which for each individual and concept yields a number in the interval [0, 1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ then collect all the individuals that belong to C with degree ~ t. We generalize a well-known characterization of membership in EL concepts to construct a specific graded membership function deg, and investigate the complexity of reasoning in the Description Logic Ï„EL(deg), which extends EL by threshold concepts defined using deg. We also compare the instance problem for threshold concepts of the form C>t in Ï„EL(deg) with the relaxed instance queries of Ecke et al
Interactive ontology debugging: two query strategies for efficient fault localization
Effective debugging of ontologies is an important prerequisite for their
broad application, especially in areas that rely on everyday users to create
and maintain knowledge bases, such as the Semantic Web. In such systems
ontologies capture formalized vocabularies of terms shared by its users.
However in many cases users have different local views of the domain, i.e. of
the context in which a given term is used. Inappropriate usage of terms
together with natural complications when formulating and understanding logical
descriptions may result in faulty ontologies. Recent ontology debugging
approaches use diagnosis methods to identify causes of the faults. In most
debugging scenarios these methods return many alternative diagnoses, thus
placing the burden of fault localization on the user. This paper demonstrates
how the target diagnosis can be identified by performing a sequence of
observations, that is, by querying an oracle about entailments of the target
ontology. To identify the best query we propose two query selection strategies:
a simple "split-in-half" strategy and an entropy-based strategy. The latter
allows knowledge about typical user errors to be exploited to minimize the
number of queries. Our evaluation showed that the entropy-based method
significantly reduces the number of required queries compared to the
"split-in-half" approach. We experimented with different probability
distributions of user errors and different qualities of the a-priori
probabilities. Our measurements demonstrated the superiority of entropy-based
query selection even in cases where all fault probabilities are equal, i.e.
where no information about typical user errors is available.Comment: Published in Web Semantics: Science, Services and Agents on the World
Wide Web. arXiv admin note: substantial text overlap with arXiv:1004.533
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Future systems based on post-CMOS technologies will be wildly heterogeneous, with properties largely unknown today.
This paper presents our design of a new hardware/software stack to address the challenge of preparing software development for such systems. It combines well-understood technologies from different areas, e.g., network-on-chips, capability operating systems, flexible programming models and model checking. We describe our approach and provide details on key technologies
Auf dem Weg zum Menschenversuch im Nationalsozialismus. Historische Vorbedingungen und der Beitrag der Kaiser-Wilhelm-Institute
683-685 [Rezension] Langgärtner, Georg, Die Gallienpolitik der Päpste im 5. und 6. Jahrhundert
Eugenics and Race-Hygiene in the German Context. A Legacy of Science Turned Bad?
Weingart P. Eugenics and Race-Hygiene in the German Context. A Legacy of Science Turned Bad? In: Baader G, Peter J, eds. Public Health, Eugenik und Rassenhygiene in der Weimarer Republik und im Nationalsozialismus. Gesundheit und Krankheit als Vision der Volksgemeinschaft. Frankfurt Main: Mabuse Verlag; 2018: 24-51.Reprint from "Humanity at the Limit", Bloomington 200
Adding Threshold Concepts to the Description Logic EL
We introduce an extension of the lightweight Description Logic EL that allows us to de_ne concepts in an approximate way. For this purpose, we use a graded membership function, which for each individual and concept yields a number in the interval [0, 1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ then collect all the individuals that belong to C with degree ~ t. We generalize a well-known characterization of membership in EL concepts to construct a specific graded membership function deg, and investigate the complexity of reasoning in the Description Logic Ï„EL(deg), which extends EL by threshold concepts defined using deg. We also compare the instance problem for threshold concepts of the form C>t in Ï„EL(deg) with the relaxed instance queries of Ecke et al
Adding Threshold Concepts to the Description Logic EL
We introduce an extension of the lightweight Description Logic EL that allows us to de_ne concepts in an approximate way. For this purpose, we use a graded membership function, which for each individual and concept yields a number in the interval [0, 1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ then collect all the individuals that belong to C with degree ~ t. We generalize a well-known characterization of membership in EL concepts to construct a specific graded membership function deg, and investigate the complexity of reasoning in the Description Logic Ï„EL(deg), which extends EL by threshold concepts defined using deg. We also compare the instance problem for threshold concepts of the form C>t in Ï„EL(deg) with the relaxed instance queries of Ecke et al