Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953007872> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2953007872 abstract "We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ." @default.
- W2953007872 created "2019-06-27" @default.
- W2953007872 creator A5000093016 @default.
- W2953007872 creator A5002078119 @default.
- W2953007872 creator A5017785610 @default.
- W2953007872 creator A5055132165 @default.
- W2953007872 date "2014-06-08" @default.
- W2953007872 modified "2023-09-27" @default.
- W2953007872 title "Rational Closure in SHIQ" @default.
- W2953007872 cites W1538808052 @default.
- W2953007872 cites W2147860979 @default.
- W2953007872 cites W2161178987 @default.
- W2953007872 cites W3761804 @default.
- W2953007872 hasPublicationYear "2014" @default.
- W2953007872 type Work @default.
- W2953007872 sameAs 2953007872 @default.
- W2953007872 citedByCount "0" @default.
- W2953007872 crossrefType "posted-content" @default.
- W2953007872 hasAuthorship W2953007872A5000093016 @default.
- W2953007872 hasAuthorship W2953007872A5002078119 @default.
- W2953007872 hasAuthorship W2953007872A5017785610 @default.
- W2953007872 hasAuthorship W2953007872A5055132165 @default.
- W2953007872 hasConcept C114614502 @default.
- W2953007872 hasConcept C120665830 @default.
- W2953007872 hasConcept C121332964 @default.
- W2953007872 hasConcept C134752490 @default.
- W2953007872 hasConcept C146834321 @default.
- W2953007872 hasConcept C154945302 @default.
- W2953007872 hasConcept C164226766 @default.
- W2953007872 hasConcept C17744445 @default.
- W2953007872 hasConcept C199539241 @default.
- W2953007872 hasConcept C202444582 @default.
- W2953007872 hasConcept C2780841128 @default.
- W2953007872 hasConcept C33923547 @default.
- W2953007872 hasConcept C41008148 @default.
- W2953007872 hasConceptScore W2953007872C114614502 @default.
- W2953007872 hasConceptScore W2953007872C120665830 @default.
- W2953007872 hasConceptScore W2953007872C121332964 @default.
- W2953007872 hasConceptScore W2953007872C134752490 @default.
- W2953007872 hasConceptScore W2953007872C146834321 @default.
- W2953007872 hasConceptScore W2953007872C154945302 @default.
- W2953007872 hasConceptScore W2953007872C164226766 @default.
- W2953007872 hasConceptScore W2953007872C17744445 @default.
- W2953007872 hasConceptScore W2953007872C199539241 @default.
- W2953007872 hasConceptScore W2953007872C202444582 @default.
- W2953007872 hasConceptScore W2953007872C2780841128 @default.
- W2953007872 hasConceptScore W2953007872C33923547 @default.
- W2953007872 hasConceptScore W2953007872C41008148 @default.
- W2953007872 hasLocation W29530078721 @default.
- W2953007872 hasOpenAccess W2953007872 @default.
- W2953007872 hasPrimaryLocation W29530078721 @default.
- W2953007872 hasRelatedWork W1518744800 @default.
- W2953007872 hasRelatedWork W1524378866 @default.
- W2953007872 hasRelatedWork W1568933194 @default.
- W2953007872 hasRelatedWork W1765381916 @default.
- W2953007872 hasRelatedWork W192226592 @default.
- W2953007872 hasRelatedWork W1990123412 @default.
- W2953007872 hasRelatedWork W2057038881 @default.
- W2953007872 hasRelatedWork W2077954219 @default.
- W2953007872 hasRelatedWork W2081898972 @default.
- W2953007872 hasRelatedWork W2082367267 @default.
- W2953007872 hasRelatedWork W2098322793 @default.
- W2953007872 hasRelatedWork W2181311084 @default.
- W2953007872 hasRelatedWork W2235881885 @default.
- W2953007872 hasRelatedWork W2604713618 @default.
- W2953007872 hasRelatedWork W2786181707 @default.
- W2953007872 hasRelatedWork W2888803631 @default.
- W2953007872 hasRelatedWork W3083111146 @default.
- W2953007872 hasRelatedWork W3092732582 @default.
- W2953007872 hasRelatedWork W4288617 @default.
- W2953007872 hasRelatedWork W837646209 @default.
- W2953007872 isParatext "false" @default.
- W2953007872 isRetracted "false" @default.
- W2953007872 magId "2953007872" @default.
- W2953007872 workType "article" @default.