Relevant Closure: A New Form of Defeasible Reasoning for Description Logics

A KLM Perspective on Defeasible Reasoning for Description Logics

Lecture Notes in Computer Science - Description Logic, Theory Combination, and All That ◽

10.1007/978-3-030-22102-7_7 ◽

2019 ◽

pp. 147-173 ◽

Cited By ~ 2

Author(s):

Katarina Britz ◽

Giovanni Casini ◽

Thomas Meyer ◽

Ivan Varzinczak

Keyword(s):

Description Logics ◽

Defeasible Reasoning

Download Full-text

Debugging Classical Ontologies Using Defeasible Reasoning Tools

10.3233/faia210374 ◽

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.

Download Full-text

Defeasible Reasoning in Description Logics: An Overview on DLN

Applications and Practices in Ontology Design, Extraction, and Reasoning - Studies on the Semantic Web ◽

10.3233/ssw200043 ◽

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.

Download Full-text

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

Theory and Practice of Logic Programming ◽

10.1017/s1471068420000381 ◽

2020 ◽

Vol 20 (5) ◽

pp. 751-766 ◽

Cited By ~ 1

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 ^ + $.

Download Full-text

Fine Structure of Platelet Interaction with a New Microcrystalline Collagen Preparation

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100050305 ◽

1974 ◽

Vol 32 ◽

pp. 58-59

Author(s):

W. H. Zucker ◽

R. G. Mason

Keyword(s):

Fine Structure ◽

Platelet Aggregation ◽

Hydrochloric Acid ◽

Whole Blood ◽

Platelet Adhesion ◽

Hemostatic Agent ◽

Native Collagen ◽

Fibrillar Morphology ◽

Clinical Interest ◽

New Form

Platelet adhesion initiates platelet aggregation and is an important component of the hemostatic process. Since the development of a new form of collagen as a topical hemostatic agent is of both basic and clinical interest, an ultrastructural and hematologic study of the interaction of platelets with the microcrystalline collagen preparation was undertaken.In this study, whole blood anticoagulated with EDTA was used in order to inhibit aggregation and permit study of platelet adhesion to collagen as an isolated event. The microcrystalline collagen was prepared from bovine dermal corium; milling was with sharp blades. The preparation consists of partial hydrochloric acid amine collagen salts and retains much of the fibrillar morphology of native collagen.

Download Full-text

The staining pattern of the tropomyosin sequence is displayed in a new paracrystal

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100142372 ◽

1986 ◽

Vol 44 ◽

pp. 150-151

Author(s):

M.K. Lamvik ◽

L.L. Klatt

Keyword(s):

Amino Acid ◽

Amino Acid Sequence ◽

Staining Pattern ◽

Banding Patterns ◽

Mass Thickness ◽

New Form

Tropomyosin paracrystals have been used extensively as test specimens and magnification standards due to their clear periodic banding patterns. The paracrystal type discovered by Ohtsuki1 has been of particular interest as a test of unstained specimens because of alternating bands that differ by 50% in mass thickness. While producing specimens of this type, we came across a new paracrystal form. Since this new form displays aligned tropomyosin molecules without the overlaps that are characteristic of the Ohtsuki-type paracrystal, it presents a staining pattern that corresponds to the amino acid sequence of the molecule.

Download Full-text