FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2742771198> ?p ?o ?g. }

• W2742771198 endingPage "15" @default.
• W2742771198 startingPage "1" @default.
• W2742771198 abstract "We extend the Description Logic ALC with a “typicality” operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the “most normal” or “most typical” instances of a concept. In our framework, knowledge bases may then contain, in addition to ordinary ABoxes and TBoxes, subsumption relations of the form “T(C) is subsumed by P”, expressing that typical C-members have the property P . The semantics of a typicality operator is defined by a set of postulates that are strongly related to KrausLehmann-Magidor axioms of preferential logic P. We first show that T enjoys a simple semantics provided by ordinary structures equipped by a preference relation. This allows us to obtain a modal interpretation of the typicality operator. Using such a modal interpretation, we present a tableau calculus for deciding satisfiability of ALC + T knowledge bases. Our calculus gives a nondeterministic-exponential time decision procedure for satisfiability of ALC + T. We then extend ALC + T knowledge bases by a nonmonotonic completion that allows inferring defeasible properties of specific concept instances. This paper has been also presented at the 14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning “LPAR 2007” [10]." @default.
• W2742771198 created "2017-08-17" @default.
• W2742771198 creator A5000093016 @default.
• W2742771198 creator A5002078119 @default.
• W2742771198 creator A5017785610 @default.
• W2742771198 creator A5055132165 @default.
• W2742771198 date "2008-01-01" @default.
• W2742771198 modified "2023-09-27" @default.
• W2742771198 title "ALC+T: Reasoning About Typicality in Description Logics" @default.
• W2742771198 cites W120102401 @default.
• W2742771198 cites W1507756784 @default.
• W2742771198 cites W1509410808 @default.
• W2742771198 cites W1536088796 @default.
• W2742771198 cites W1551296299 @default.
• W2742771198 cites W1906763968 @default.
• W2742771198 cites W1965105913 @default.
• W2742771198 cites W2051626205 @default.
• W2742771198 cites W2059360847 @default.
• W2742771198 cites W2080142817 @default.
• W2742771198 cites W2147860979 @default.
• W2742771198 cites W2175390224 @default.
• W2742771198 hasPublicationYear "2008" @default.
• W2742771198 type Work @default.
• W2742771198 sameAs 2742771198 @default.
• W2742771198 citedByCount "1" @default.
• W2742771198 crossrefType "journal-article" @default.
• W2742771198 hasAuthorship W2742771198A5000093016 @default.
• W2742771198 hasAuthorship W2742771198A5002078119 @default.
• W2742771198 hasAuthorship W2742771198A5017785610 @default.
• W2742771198 hasAuthorship W2742771198A5055132165 @default.
• W2742771198 hasConcept C102993220 @default.
• W2742771198 hasConcept C104317684 @default.
• W2742771198 hasConcept C11191006 @default.
• W2742771198 hasConcept C154945302 @default.
• W2742771198 hasConcept C158448853 @default.
• W2742771198 hasConcept C159032336 @default.
• W2742771198 hasConcept C160131679 @default.
• W2742771198 hasConcept C167729594 @default.
• W2742771198 hasConcept C168773769 @default.
• W2742771198 hasConcept C17020691 @default.
• W2742771198 hasConcept C184337299 @default.
• W2742771198 hasConcept C185592680 @default.
• W2742771198 hasConcept C188027245 @default.
• W2742771198 hasConcept C193856179 @default.
• W2742771198 hasConcept C199360897 @default.
• W2742771198 hasConcept C203659156 @default.
• W2742771198 hasConcept C2524010 @default.
• W2742771198 hasConcept C27508121 @default.
• W2742771198 hasConcept C33923547 @default.
• W2742771198 hasConcept C41008148 @default.
• W2742771198 hasConcept C527412718 @default.
• W2742771198 hasConcept C55493867 @default.
• W2742771198 hasConcept C62360110 @default.
• W2742771198 hasConcept C71139939 @default.
• W2742771198 hasConcept C78344899 @default.
• W2742771198 hasConcept C80444323 @default.
• W2742771198 hasConcept C86339819 @default.
• W2742771198 hasConceptScore W2742771198C102993220 @default.
• W2742771198 hasConceptScore W2742771198C104317684 @default.
• W2742771198 hasConceptScore W2742771198C11191006 @default.
• W2742771198 hasConceptScore W2742771198C154945302 @default.
• W2742771198 hasConceptScore W2742771198C158448853 @default.
• W2742771198 hasConceptScore W2742771198C159032336 @default.
• W2742771198 hasConceptScore W2742771198C160131679 @default.
• W2742771198 hasConceptScore W2742771198C167729594 @default.
• W2742771198 hasConceptScore W2742771198C168773769 @default.
• W2742771198 hasConceptScore W2742771198C17020691 @default.
• W2742771198 hasConceptScore W2742771198C184337299 @default.
• W2742771198 hasConceptScore W2742771198C185592680 @default.
• W2742771198 hasConceptScore W2742771198C188027245 @default.
• W2742771198 hasConceptScore W2742771198C193856179 @default.
• W2742771198 hasConceptScore W2742771198C199360897 @default.
• W2742771198 hasConceptScore W2742771198C203659156 @default.
• W2742771198 hasConceptScore W2742771198C2524010 @default.
• W2742771198 hasConceptScore W2742771198C27508121 @default.
• W2742771198 hasConceptScore W2742771198C33923547 @default.
• W2742771198 hasConceptScore W2742771198C41008148 @default.
• W2742771198 hasConceptScore W2742771198C527412718 @default.
• W2742771198 hasConceptScore W2742771198C55493867 @default.
• W2742771198 hasConceptScore W2742771198C62360110 @default.
• W2742771198 hasConceptScore W2742771198C71139939 @default.
• W2742771198 hasConceptScore W2742771198C78344899 @default.
• W2742771198 hasConceptScore W2742771198C80444323 @default.
• W2742771198 hasConceptScore W2742771198C86339819 @default.
• W2742771198 hasLocation W27427711981 @default.
• W2742771198 hasOpenAccess W2742771198 @default.
• W2742771198 hasPrimaryLocation W27427711981 @default.
• W2742771198 hasRelatedWork W106436995 @default.
• W2742771198 hasRelatedWork W1533856068 @default.
• W2742771198 hasRelatedWork W1554406262 @default.
• W2742771198 hasRelatedWork W1571575387 @default.
• W2742771198 hasRelatedWork W169484759 @default.
• W2742771198 hasRelatedWork W1836691125 @default.
• W2742771198 hasRelatedWork W18846563 @default.
• W2742771198 hasRelatedWork W201470198 @default.
• W2742771198 hasRelatedWork W204153282 @default.
• W2742771198 hasRelatedWork W2265906979 @default.
• W2742771198 hasRelatedWork W229642387 @default.

• next