FRINK Linked Data Fragments server

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

• W18846563 endingPage "254" @default.
• W18846563 startingPage "239" @default.
• W18846563 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 Kraus-Lehmann-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." @default.
• W18846563 created "2016-06-24" @default.
• W18846563 creator A5000093016 @default.
• W18846563 creator A5002078119 @default.
• W18846563 creator A5017785610 @default.
• W18846563 creator A5055132165 @default.
• W18846563 date "2007-01-01" @default.
• W18846563 modified "2023-09-23" @default.
• W18846563 title "Extension of Description Logics for Reasoning About Typicality" @default.
• W18846563 cites W120102401 @default.
• W18846563 cites W1507756784 @default.
• W18846563 cites W1509410808 @default.
• W18846563 cites W1536088796 @default.
• W18846563 cites W1551296299 @default.
• W18846563 cites W1906763968 @default.
• W18846563 cites W1965105913 @default.
• W18846563 cites W2051626205 @default.
• W18846563 cites W2059360847 @default.
• W18846563 cites W2080142817 @default.
• W18846563 cites W2147860979 @default.
• W18846563 cites W2175390224 @default.
• W18846563 hasPublicationYear "2007" @default.
• W18846563 type Work @default.
• W18846563 sameAs 18846563 @default.
• W18846563 citedByCount "1" @default.
• W18846563 crossrefType "journal-article" @default.
• W18846563 hasAuthorship W18846563A5000093016 @default.
• W18846563 hasAuthorship W18846563A5002078119 @default.
• W18846563 hasAuthorship W18846563A5017785610 @default.
• W18846563 hasAuthorship W18846563A5055132165 @default.
• W18846563 hasConcept C102993220 @default.
• W18846563 hasConcept C104317684 @default.
• W18846563 hasConcept C111472728 @default.
• W18846563 hasConcept C11191006 @default.
• W18846563 hasConcept C114092440 @default.
• W18846563 hasConcept C118615104 @default.
• W18846563 hasConcept C136172866 @default.
• W18846563 hasConcept C138885662 @default.
• W18846563 hasConcept C154945302 @default.
• W18846563 hasConcept C158448853 @default.
• W18846563 hasConcept C159032336 @default.
• W18846563 hasConcept C160131679 @default.
• W18846563 hasConcept C167729594 @default.
• W18846563 hasConcept C168773769 @default.
• W18846563 hasConcept C17020691 @default.
• W18846563 hasConcept C184337299 @default.
• W18846563 hasConcept C185592680 @default.
• W18846563 hasConcept C188027245 @default.
• W18846563 hasConcept C193856179 @default.
• W18846563 hasConcept C199360897 @default.
• W18846563 hasConcept C203659156 @default.
• W18846563 hasConcept C2524010 @default.
• W18846563 hasConcept C27508121 @default.
• W18846563 hasConcept C2778029271 @default.
• W18846563 hasConcept C2780586882 @default.
• W18846563 hasConcept C33923547 @default.
• W18846563 hasConcept C41008148 @default.
• W18846563 hasConcept C527412718 @default.
• W18846563 hasConcept C55493867 @default.
• W18846563 hasConcept C71139939 @default.
• W18846563 hasConcept C78344899 @default.
• W18846563 hasConcept C80444323 @default.
• W18846563 hasConcept C86339819 @default.
• W18846563 hasConceptScore W18846563C102993220 @default.
• W18846563 hasConceptScore W18846563C104317684 @default.
• W18846563 hasConceptScore W18846563C111472728 @default.
• W18846563 hasConceptScore W18846563C11191006 @default.
• W18846563 hasConceptScore W18846563C114092440 @default.
• W18846563 hasConceptScore W18846563C118615104 @default.
• W18846563 hasConceptScore W18846563C136172866 @default.
• W18846563 hasConceptScore W18846563C138885662 @default.
• W18846563 hasConceptScore W18846563C154945302 @default.
• W18846563 hasConceptScore W18846563C158448853 @default.
• W18846563 hasConceptScore W18846563C159032336 @default.
• W18846563 hasConceptScore W18846563C160131679 @default.
• W18846563 hasConceptScore W18846563C167729594 @default.
• W18846563 hasConceptScore W18846563C168773769 @default.
• W18846563 hasConceptScore W18846563C17020691 @default.
• W18846563 hasConceptScore W18846563C184337299 @default.
• W18846563 hasConceptScore W18846563C185592680 @default.
• W18846563 hasConceptScore W18846563C188027245 @default.
• W18846563 hasConceptScore W18846563C193856179 @default.
• W18846563 hasConceptScore W18846563C199360897 @default.
• W18846563 hasConceptScore W18846563C203659156 @default.
• W18846563 hasConceptScore W18846563C2524010 @default.
• W18846563 hasConceptScore W18846563C27508121 @default.
• W18846563 hasConceptScore W18846563C2778029271 @default.
• W18846563 hasConceptScore W18846563C2780586882 @default.
• W18846563 hasConceptScore W18846563C33923547 @default.
• W18846563 hasConceptScore W18846563C41008148 @default.
• W18846563 hasConceptScore W18846563C527412718 @default.
• W18846563 hasConceptScore W18846563C55493867 @default.
• W18846563 hasConceptScore W18846563C71139939 @default.
• W18846563 hasConceptScore W18846563C78344899 @default.
• W18846563 hasConceptScore W18846563C80444323 @default.
• W18846563 hasConceptScore W18846563C86339819 @default.
• W18846563 hasLocation W188465631 @default.
• W18846563 hasOpenAccess W18846563 @default.

• next