Matches in SemOpenAlex for { <https://semopenalex.org/work/W2888896672> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2888896672 endingPage "70" @default.
- W2888896672 startingPage "28" @default.
- W2888896672 abstract "Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational closure according to the (propositional) KLM postulates. A well-known approach to lift this closure to DDLs is by so-called materialisation. Previously investigated algorithms for materialisation-based reasoning employ reductions to classical reasoning using all Boolean connectors. As a first result in this paper, we present a materialisation-based algorithm for the sub-Boolean DDL , using a reduction to reasoning in classical , rendering materialisation-based defeasible reasoning tractable. The main contribution of this article is a kind of canonical model construction, which can be used to decide defeasible subsumption and instance queries in under rational and the stronger relevant entailment. Our so-called typicality models can reproduce the entailments obtained from materialisation-based rational and relevant closure and, more importantly, obtain stronger versions of rational and relevant entailment. These do not suffer from neglecting defeasible information for concepts appearing nested inside quantifications, which all materialisation-based approaches do. We also show the computational complexity of defeasible subsumption and instance checking in our stronger rational and relevant semantics." @default.
- W2888896672 created "2018-09-07" @default.
- W2888896672 creator A5073192473 @default.
- W2888896672 creator A5087373966 @default.
- W2888896672 date "2018-12-01" @default.
- W2888896672 modified "2023-09-30" @default.
- W2888896672 title "Reasoning in the Defeasible Description Logic —computing standard inferences under rational and relevant semantics" @default.
- W2888896672 cites W1973036111 @default.
- W2888896672 cites W2080142817 @default.
- W2888896672 cites W2295766998 @default.
- W2888896672 cites W229642387 @default.
- W2888896672 cites W2639976559 @default.
- W2888896672 cites W2999843026 @default.
- W2888896672 doi "https://doi.org/10.1016/j.ijar.2018.08.005" @default.
- W2888896672 hasPublicationYear "2018" @default.
- W2888896672 type Work @default.
- W2888896672 sameAs 2888896672 @default.
- W2888896672 citedByCount "23" @default.
- W2888896672 countsByYear W28888966722019 @default.
- W2888896672 countsByYear W28888966722020 @default.
- W2888896672 countsByYear W28888966722021 @default.
- W2888896672 countsByYear W28888966722022 @default.
- W2888896672 countsByYear W28888966722023 @default.
- W2888896672 crossrefType "journal-article" @default.
- W2888896672 hasAuthorship W2888896672A5073192473 @default.
- W2888896672 hasAuthorship W2888896672A5087373966 @default.
- W2888896672 hasBestOaLocation W28888966721 @default.
- W2888896672 hasConcept C102993220 @default.
- W2888896672 hasConcept C134752490 @default.
- W2888896672 hasConcept C140843580 @default.
- W2888896672 hasConcept C146834321 @default.
- W2888896672 hasConcept C154945302 @default.
- W2888896672 hasConcept C162324750 @default.
- W2888896672 hasConcept C184337299 @default.
- W2888896672 hasConcept C193856179 @default.
- W2888896672 hasConcept C199360897 @default.
- W2888896672 hasConcept C205711294 @default.
- W2888896672 hasConcept C34447519 @default.
- W2888896672 hasConcept C41008148 @default.
- W2888896672 hasConcept C80444323 @default.
- W2888896672 hasConceptScore W2888896672C102993220 @default.
- W2888896672 hasConceptScore W2888896672C134752490 @default.
- W2888896672 hasConceptScore W2888896672C140843580 @default.
- W2888896672 hasConceptScore W2888896672C146834321 @default.
- W2888896672 hasConceptScore W2888896672C154945302 @default.
- W2888896672 hasConceptScore W2888896672C162324750 @default.
- W2888896672 hasConceptScore W2888896672C184337299 @default.
- W2888896672 hasConceptScore W2888896672C193856179 @default.
- W2888896672 hasConceptScore W2888896672C199360897 @default.
- W2888896672 hasConceptScore W2888896672C205711294 @default.
- W2888896672 hasConceptScore W2888896672C34447519 @default.
- W2888896672 hasConceptScore W2888896672C41008148 @default.
- W2888896672 hasConceptScore W2888896672C80444323 @default.
- W2888896672 hasFunder F4320320879 @default.
- W2888896672 hasLocation W28888966721 @default.
- W2888896672 hasOpenAccess W2888896672 @default.
- W2888896672 hasPrimaryLocation W28888966721 @default.
- W2888896672 hasRelatedWork W1528561239 @default.
- W2888896672 hasRelatedWork W2396492462 @default.
- W2888896672 hasRelatedWork W2407823790 @default.
- W2888896672 hasRelatedWork W2936472323 @default.
- W2888896672 hasRelatedWork W3033115193 @default.
- W2888896672 hasRelatedWork W3082661735 @default.
- W2888896672 hasRelatedWork W3084227614 @default.
- W2888896672 hasRelatedWork W3088199683 @default.
- W2888896672 hasRelatedWork W4230252796 @default.
- W2888896672 hasRelatedWork W4286796590 @default.
- W2888896672 hasVolume "103" @default.
- W2888896672 isParatext "false" @default.
- W2888896672 isRetracted "false" @default.
- W2888896672 magId "2888896672" @default.
- W2888896672 workType "article" @default.