Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298851570> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4298851570 abstract "Recent applications of description logics (DLs) strongly suggest the integration of non-monotonic features into DLs, with particular attention to defeasible inheritance. However, the existing non-monotonic extensions of DLs are usually based on default logic or autoepistemic logic, and have to be seriously restricted in expressive power to preserve the decidability of reasoning. In particular, such DLs allow the modelling of defeasible inheritance only in a very restricted form, where non-monotonic reasoning is limited to individuals that are explicitly identified by constants in the knowledge base. In this paper, we consider non-monotonic extensions of expressive DLs based on circumscription. We prove that reasoning in such DLs is decidable even without the usual, strong restrictions in expressive power. We pinpoint the exact computational complexity of reasoning as complete for NPNEXP and NEXPNP, depending on whether or not the number of minimized and fixed predicates is assumed to be bounded by a constant. These results assume that only concept names (and no role names) can be minimized and fixed during minimization. On the other hand, we show that fixing role names during minimization makes reasoning undecidable." @default.
- W4298851570 created "2022-10-02" @default.
- W4298851570 creator A5010967150 @default.
- W4298851570 creator A5034616829 @default.
- W4298851570 creator A5046243825 @default.
- W4298851570 date "2005-01-01" @default.
- W4298851570 modified "2023-10-16" @default.
- W4298851570 title "Expressive Non-Monotonic Description Logics Based on Circumscription" @default.
- W4298851570 doi "https://doi.org/10.25368/2022.149" @default.
- W4298851570 hasPublicationYear "2005" @default.
- W4298851570 type Work @default.
- W4298851570 citedByCount "4" @default.
- W4298851570 crossrefType "report" @default.
- W4298851570 hasAuthorship W4298851570A5010967150 @default.
- W4298851570 hasAuthorship W4298851570A5034616829 @default.
- W4298851570 hasAuthorship W4298851570A5046243825 @default.
- W4298851570 hasBestOaLocation W42988515702 @default.
- W4298851570 hasConcept C102993220 @default.
- W4298851570 hasConcept C11413529 @default.
- W4298851570 hasConcept C118615104 @default.
- W4298851570 hasConcept C134306372 @default.
- W4298851570 hasConcept C153269930 @default.
- W4298851570 hasConcept C154945302 @default.
- W4298851570 hasConcept C159032336 @default.
- W4298851570 hasConcept C160236029 @default.
- W4298851570 hasConcept C192034797 @default.
- W4298851570 hasConcept C193856179 @default.
- W4298851570 hasConcept C195818886 @default.
- W4298851570 hasConcept C203659156 @default.
- W4298851570 hasConcept C33923547 @default.
- W4298851570 hasConcept C34388435 @default.
- W4298851570 hasConcept C3845977 @default.
- W4298851570 hasConcept C41008148 @default.
- W4298851570 hasConcept C62360110 @default.
- W4298851570 hasConcept C72169020 @default.
- W4298851570 hasConcept C80444323 @default.
- W4298851570 hasConceptScore W4298851570C102993220 @default.
- W4298851570 hasConceptScore W4298851570C11413529 @default.
- W4298851570 hasConceptScore W4298851570C118615104 @default.
- W4298851570 hasConceptScore W4298851570C134306372 @default.
- W4298851570 hasConceptScore W4298851570C153269930 @default.
- W4298851570 hasConceptScore W4298851570C154945302 @default.
- W4298851570 hasConceptScore W4298851570C159032336 @default.
- W4298851570 hasConceptScore W4298851570C160236029 @default.
- W4298851570 hasConceptScore W4298851570C192034797 @default.
- W4298851570 hasConceptScore W4298851570C193856179 @default.
- W4298851570 hasConceptScore W4298851570C195818886 @default.
- W4298851570 hasConceptScore W4298851570C203659156 @default.
- W4298851570 hasConceptScore W4298851570C33923547 @default.
- W4298851570 hasConceptScore W4298851570C34388435 @default.
- W4298851570 hasConceptScore W4298851570C3845977 @default.
- W4298851570 hasConceptScore W4298851570C41008148 @default.
- W4298851570 hasConceptScore W4298851570C62360110 @default.
- W4298851570 hasConceptScore W4298851570C72169020 @default.
- W4298851570 hasConceptScore W4298851570C80444323 @default.
- W4298851570 hasLocation W42988515701 @default.
- W4298851570 hasLocation W42988515702 @default.
- W4298851570 hasOpenAccess W4298851570 @default.
- W4298851570 hasPrimaryLocation W42988515701 @default.
- W4298851570 hasRelatedWork W1507756784 @default.
- W4298851570 hasRelatedWork W1531558136 @default.
- W4298851570 hasRelatedWork W176012066 @default.
- W4298851570 hasRelatedWork W2000042161 @default.
- W4298851570 hasRelatedWork W2044503422 @default.
- W4298851570 hasRelatedWork W2108416329 @default.
- W4298851570 hasRelatedWork W2172835203 @default.
- W4298851570 hasRelatedWork W3026512908 @default.
- W4298851570 hasRelatedWork W4298851570 @default.
- W4298851570 hasRelatedWork W610916638 @default.
- W4298851570 isParatext "false" @default.
- W4298851570 isRetracted "false" @default.
- W4298851570 workType "report" @default.