The Standard Format for Adaptive Logics

Straßer, Christian

doi:10.1007/978-3-319-00792-2_2

Cited by 1 publication

(5 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Adaptive Logics are a family of logics similar to DL. This subsection will present the most important parts of the standard format for AL, which are introduced by Diderik Batens [9] and further investigated by Christian Straßer [10]. We encourage the reader to refer to [9,10] for an extensive view of the format or to the non-monotonic logics sections of the Stanford Encyclopedia of Philosophy [22] for an overview.…”

Section: Adaptive Logicsmentioning

confidence: 99%

“…This subsection will present the most important parts of the standard format for AL, which are introduced by Diderik Batens [9] and further investigated by Christian Straßer [10]. We encourage the reader to refer to [9,10] for an extensive view of the format or to the non-monotonic logics sections of the Stanford Encyclopedia of Philosophy [22] for an overview. An extensive study of adaptive logics as a "generic formal framework for defeasible reasoning" [23] is available in a book written by Christian Straßer [23] entirely devoted to the subject.…”

Section: Adaptive Logicsmentioning

confidence: 99%

“…The framework of AL models is defeasible reasoning based on a lower limit logic LLL, a set of abnormalities Ω, and an adaptive strategy. Given a set of premises Γ, AL will ensure that Γ is interpreted "as normally as possible" [10] following the strategy. The two main strategies that are discussed in AL are reliability and minimum abnormality.…”

Section: Adaptive Logicsmentioning

confidence: 99%

“…. " [10]. This set of abnormalities U(Γ) is investigated by the strategy when it comes to finally derive rules from Γ.…”

Section: Adaptive Logicsmentioning

confidence: 99%

“…In this paper, we propose an approach for enhancing interoperability between OWL ontologies and the expression of context that relies on defeasible reasoning by the use of Adaptive Logics (AL). AL has been described by Diderik Batens [9], and a further description focusing on the standard format for AL for modeling defeasible reasoning has been given by Christian Straßer [10]. We will use the classical definition of inconsistency: a theory is inconsistent if it contains both a statement r and its negation ¬r.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies

2022

View full text Add to dashboard Cite

Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge. Many ontologies exist, expressing various domains of knowledge with different abstraction levels (domain ontologies, top-level ontologies, and task ontologies are the usual categories). The conceptualization of the knowledge contained in an ontology is subject to change, whether because the context of its use changes, because the domain evolves, or because an ontology needs to interoperate with other elements using other ontologies. Change in logical theories is a form of defeasible reasoning, in which some formulas need to be added or removed from a knowledge base. Adaptive Logics (AL) is a logic managing defeasible reasoning that we investigate in this paper for managing change in ontologies expressed with Description Logics (DL). The adaptation of AL for DL will help express the context in which formulas remain valid or can be added to a DL knowledge base, and ease the interoperability between ontologies.

show abstract