Matches in SemOpenAlex for { <https://semopenalex.org/work/W3761804> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3761804 endingPage "500" @default.
- W3761804 startingPage "491" @default.
- W3761804 abstract "Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90’s, would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in description logics. In this paper we fill this gap by providing a natural and intuitive semantics for defeasible subsumption in the description logic $mathcal{ALC}$ . Our semantics replaces the propositional valuations used in the models of Lehmann et al.. with structures we refer to as concept models. We present representation results for the description logic $mathcal{ALC}$ for both preferential and rational consequence relations. We argue that our semantics paves the way for extending preferential and rational consequence, and therefore also rational closure, to a whole class of logics that have a semantics defined in terms of first-order relational structures." @default.
- W3761804 created "2016-06-24" @default.
- W3761804 creator A5006988031 @default.
- W3761804 creator A5034598656 @default.
- W3761804 creator A5041349488 @default.
- W3761804 date "2011-01-01" @default.
- W3761804 modified "2023-09-29" @default.
- W3761804 title "Semantic Foundation for Preferential Description Logics" @default.
- W3761804 cites W1555563750 @default.
- W3761804 cites W1571433157 @default.
- W3761804 cites W1947471199 @default.
- W3761804 cites W2020153579 @default.
- W3761804 cites W2030551711 @default.
- W3761804 cites W2080142817 @default.
- W3761804 cites W2100982478 @default.
- W3761804 cites W2167907160 @default.
- W3761804 cites W4242309855 @default.
- W3761804 doi "https://doi.org/10.1007/978-3-642-25832-9_50" @default.
- W3761804 hasPublicationYear "2011" @default.
- W3761804 type Work @default.
- W3761804 sameAs 3761804 @default.
- W3761804 citedByCount "51" @default.
- W3761804 countsByYear W37618042012 @default.
- W3761804 countsByYear W37618042013 @default.
- W3761804 countsByYear W37618042014 @default.
- W3761804 countsByYear W37618042015 @default.
- W3761804 countsByYear W37618042016 @default.
- W3761804 countsByYear W37618042017 @default.
- W3761804 countsByYear W37618042018 @default.
- W3761804 countsByYear W37618042019 @default.
- W3761804 countsByYear W37618042020 @default.
- W3761804 countsByYear W37618042021 @default.
- W3761804 countsByYear W37618042023 @default.
- W3761804 crossrefType "book-chapter" @default.
- W3761804 hasAuthorship W3761804A5006988031 @default.
- W3761804 hasAuthorship W3761804A5034598656 @default.
- W3761804 hasAuthorship W3761804A5041349488 @default.
- W3761804 hasConcept C102993220 @default.
- W3761804 hasConcept C140843580 @default.
- W3761804 hasConcept C154945302 @default.
- W3761804 hasConcept C159032336 @default.
- W3761804 hasConcept C161301231 @default.
- W3761804 hasConcept C171018156 @default.
- W3761804 hasConcept C17744445 @default.
- W3761804 hasConcept C184337299 @default.
- W3761804 hasConcept C193856179 @default.
- W3761804 hasConcept C199360897 @default.
- W3761804 hasConcept C199539241 @default.
- W3761804 hasConcept C2524010 @default.
- W3761804 hasConcept C2776359362 @default.
- W3761804 hasConcept C33923547 @default.
- W3761804 hasConcept C41008148 @default.
- W3761804 hasConcept C80444323 @default.
- W3761804 hasConcept C94625758 @default.
- W3761804 hasConceptScore W3761804C102993220 @default.
- W3761804 hasConceptScore W3761804C140843580 @default.
- W3761804 hasConceptScore W3761804C154945302 @default.
- W3761804 hasConceptScore W3761804C159032336 @default.
- W3761804 hasConceptScore W3761804C161301231 @default.
- W3761804 hasConceptScore W3761804C171018156 @default.
- W3761804 hasConceptScore W3761804C17744445 @default.
- W3761804 hasConceptScore W3761804C184337299 @default.
- W3761804 hasConceptScore W3761804C193856179 @default.
- W3761804 hasConceptScore W3761804C199360897 @default.
- W3761804 hasConceptScore W3761804C199539241 @default.
- W3761804 hasConceptScore W3761804C2524010 @default.
- W3761804 hasConceptScore W3761804C2776359362 @default.
- W3761804 hasConceptScore W3761804C33923547 @default.
- W3761804 hasConceptScore W3761804C41008148 @default.
- W3761804 hasConceptScore W3761804C80444323 @default.
- W3761804 hasConceptScore W3761804C94625758 @default.
- W3761804 hasLocation W37618041 @default.
- W3761804 hasLocation W37618042 @default.
- W3761804 hasLocation W37618043 @default.
- W3761804 hasOpenAccess W3761804 @default.
- W3761804 hasPrimaryLocation W37618041 @default.
- W3761804 hasRelatedWork W120102401 @default.
- W3761804 hasRelatedWork W1519321178 @default.
- W3761804 hasRelatedWork W1528561239 @default.
- W3761804 hasRelatedWork W2105363168 @default.
- W3761804 hasRelatedWork W2166796738 @default.
- W3761804 hasRelatedWork W2936472323 @default.
- W3761804 hasRelatedWork W3082661735 @default.
- W3761804 hasRelatedWork W3088199683 @default.
- W3761804 hasRelatedWork W4205390406 @default.
- W3761804 hasRelatedWork W4286796590 @default.
- W3761804 isParatext "false" @default.
- W3761804 isRetracted "false" @default.
- W3761804 magId "3761804" @default.
- W3761804 workType "book-chapter" @default.