scholarly journals Defeasible Reasoning in Description Logics: An Overview on DLN

2020 ◽  
Author(s):  
Piero Andrea Bonatti ◽  
Iliana Mineva Petrova ◽  
Luigi Sauro
Keyword(s):  
Knowledge Engineering ◽  
Description Logics ◽  
Defeasible Reasoning ◽  
Recent Approach ◽  
Characteristic Features

DLN is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DLN, illustrating the underlying knowledge engineering requirements as well as the characteristic features that preserve DLN from some recurrent semantic and computational drawbacks. We also compare DLN with some alternative nonmonotonic semantics, enlightening the relationships between the KLM postulates and DLN.

scholarly journals A New Semantics for Overriding in Description Logics (Extended Abstract)

2017 ◽  
Author(s):  
Piero Bonatti ◽  
Marco Faella ◽  
Iliana M. Petrova ◽  
Luigi Sauro
Keyword(s):  
Computational Complexity ◽  
Description Logic ◽  
Knowledge Engineering ◽  
Description Logics ◽  
Nonmonotonic Reasoning ◽  
The Other ◽  
Potential Usefulness ◽  
Practical Support

Nonmonotonic inferences are not yet supported by Description Logic technology, although their potential usefulness is widely recognized. Lack of support to nonmonotonic reasoning is due to a number of issues related to expressiveness, computational complexity, and optimizations. This work contributes to the practical support of nonmonotonic reasoning in description logics by introducing a new semantics designed to address knowledge engineering needs. The formalism is validated through extensive comparison with the other nonmonotonic DLs, and systematic scalability tests.

scholarly journals Debugging Classical Ontologies Using Defeasible Reasoning Tools

2021 ◽  
Author(s):  
Simone Coetzer ◽  
Katarina Britz
Keyword(s):  
Real World ◽  
Domain Knowledge ◽  
Description Logics ◽  
Defeasible Reasoning ◽  
Successful Implementation ◽  
Knowledge Engineer ◽  
Logical Consistency ◽  
Definition Of ◽  
Ontology Debugging ◽  
Relevant Domain

A successful application of ontologies relies on representing as much accurate and relevant domain knowledge as possible, while maintaining logical consistency. As the successful implementation of a real-world ontology is likely to contain many concepts and intricate relationships between the concepts, it is necessary to follow a methodology for debugging and refining the ontology. Many ontology debugging approaches have been developed to help the knowledge engineer pinpoint the cause of logical inconsistencies and rectify them in a strategic way. We show that existing debugging approaches can lead to unintuitive results, which may lead the knowledge engineer to opt for deleting potentially crucial and nuanced knowledge. We provide a methodological and design foundation for weakening faulty axioms in a strategic way using defeasible reasoning tools. Our methodology draws from Rodler’s interactive ontology debugging approach and extends this approach by creating a methodology to systematically find conflict resolution recommendations. Importantly, our goal is not to convert a classical ontology to a defeasible ontology. Rather, we use the definition of exceptionality of a concept, which is central to the semantics of defeasible description logics, and the associated algorithm to determine the extent of a concept’s exceptionality (their ranking); then, starting with the statements containing the most general concepts (the least exceptional concepts) weakened versions of the original statements are constructed; this is done until all inconsistencies have been resolved.

scholarly journals An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

2020 ◽  
Vol 20 (5) ◽  
pp. 751-766 ◽  
Author(s):  
Laura Giordano ◽  
Daniele Theseider Dupré
Keyword(s):  
Description Logic ◽  
Description Logics ◽  
Answer Set Programming ◽  
Defeasible Reasoning ◽  
Preferential Semantics ◽  
Answer Set ◽  
Qualitative Preferences

AbstractIn this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept-aware multipreference semantics is related to Brewka’s framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic ξ$\mathcal L_ \bot ^ + $.

Ultrastructural modification of cellular interactions in cancer tumor

1978 ◽  
Vol 36 (2) ◽  
pp. 318-319
Author(s):  
N. P. Dmitrieva
Keyword(s):  
Cancer Cells ◽  
Human Thyroid ◽  
Adjacent Cell ◽  
Main Role ◽  
Cellular Interactions ◽  
Electron Microscopic ◽  
Cancer Tumor ◽  
Normal Human ◽  
Characteristic Features

One of the most characteristic features of cancer cells is their ability to metastasia. It is suggested that the modifications of the structure and properties of cancer cells surfaces play the main role in this process. The present work was aimed at finding out what ultrastructural features apear in tumor in vivo which removal of individual cancer cells from the cell population can provide. For this purpose the cellular interactions in the normal human thyroid and cancer tumor of this gland electron microscopic were studied. The tissues were fixed in osmium tetroxide and were embedded in Araldite-Epon.In normal human thyroid the most common type of intercellular contacts was represented by simple junction formed by the parallelalignment of adjacent cell membranees leaving in between an intermembranes space 15-20 nm filled with electronlucid material (Fig. 1a). Sometimes in the basal part of cells dilatations of the intercellular space 40-50 nm wide were found (Fig. 1a). Here the cell surfaces may form single short microvilli.

Development of 200kV ultrahigh-resolution analytical electron microscope

1989 ◽  
Vol 47 ◽  
pp. 108-109
Author(s):  
T. Kaneyama ◽  
M. Naruse ◽  
Y. Ishida ◽  
M. Kersker
Keyword(s):  
Electron Microscope ◽  
Optical Constants ◽  
Materials Science ◽  
Objective Lens ◽  
The Finite Element Method ◽  
Ultrahigh Resolution ◽  
Analytical Electron ◽  
Analytical Electron Microscope ◽  
Characteristic Features ◽  
Better Than

In the field of materials science, the importance of the ultrahigh resolution analytical electron microscope (UHRAEM) is increasing. A new UHRAEM which provides a resolution of better than 0.2 nm and allows analysis of a few nm areas has been developed. [Fig. 1 shows the external view] The followings are some characteristic features of the UHRAEM.Objective lens (OL)Two types of OL polepieces (URP for ±10' specimen tilt and ARP for ±30' tilt) have been developed. The optical constants shown in the table on the next page are figures calculated by the finite element method. However, Cs was experimentally confirmed by two methods (namely, Beam Tilt method and Krivanek method) as 0.45 ∼ 0.50 mm for URP and as 0.9 ∼ 1.0 mm for ARP, respectively. Fig. 2 shows an optical diffractogram obtained from a micrograph of amorphous carbon with URP under the Scherzer defocus condition. It demonstrates a resolution of 0.19 nm and a Cs smaller than 0.5 mm.

KEATS: A System to Support Knowledge Engineering and Training for Decision-Making Skills

1989 ◽  
Author(s):  
Fritz H. Brecke ◽  
Patrick Hays ◽  
Donald Johnston ◽  
Gail Slemon ◽  
Jane McGarvey ◽  
...  
Keyword(s):  
Decision Making ◽  
Knowledge Engineering ◽  
And Training

Tolerance is theoretical and practical principles

1996 ◽  
pp. 13-23
Author(s):  
Mykhailo Babiy
Keyword(s):  
Religious Diversity ◽  
The Other ◽  
Nodal Points ◽  
Characteristic Features ◽  
The One ◽  
Ukrainian Society

Political ideological pluralism, religious diversity are characteristic features of modern Ukrainian society. On the one hand, multiculturalism, socio-political, religious differentiation of the latter appear as important characteristics of its democracy, as a practical expression of freedom, on the other - as a factor that led to the deconsocialization of society, gave rise to "nodal points" of tension, confrontational processes, in particular, in political and religious spheres.

Hard and light gamification in education: Which one to choose?

2020 ◽  
Vol 1 (1) ◽  
pp. 20-27
Author(s):  
E. V. Karmanova ◽  
V. A. Shelemetyeva
Keyword(s):  
Computer Games ◽  
Educational Process ◽  
Course Development ◽  
Learning Technology ◽  
Training Course ◽  
Resource Requirements ◽  
E Learning ◽  
Characteristic Features ◽  
Game Elements

The article is devoted to the implementation of gamification methods in the educational process. The characteristic features of light and hard gamification are presented. The appropriateness of using gamification when applying e-learning technology is considered. Classification of courses based on hard gamification taking into account the technological features of development is proposed: courses-presentations, courses — computer games, VR/AR courses. The article also illustrates the use of various game elements of easy gamification using the example of the module “Level up! — Gamification” of the Moodle LMS. The capabilities of this module can be used in an electronic course by any teacher who has the skills of working with the Moodle.The authors present the analysis of the development of a training course in sales techniques using hard and light gamification technologies, where the course development was assessed for its complexity, manufacturability, and resource requirements. The results of the analysis showed that the development of courses using hard gamification requires much more financial and time-consuming than the development of courses using light gamification.The article evaluates the results of the educational intensiveness intense “Island 10–22”, held in July 2019 in Skolkovo, in which 100 university teams, teams of research and educational centers, teams of schoolchildren — winners of competitions, olympiads, hackathons (“Young Talents”) participated. The results of the intense confirmed the effectiveness of the use of light gamification methods in adult training. Thus, the conclusions presented in the article reveal a number of advantages that light gamification has in comparison with hard gamification.

Sign in / Sign up

Export Citation Format

Share Document