Matches in SemOpenAlex for { <https://semopenalex.org/work/W2596405189> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2596405189 endingPage "124" @default.
- W2596405189 startingPage "112" @default.
- W2596405189 abstract "We revisit non-monotonic description logics based on circumscription with preferences and prove several decidability results for their satisfiability problem. In particular, we consider circumscribed description logics without the finite model property DL-Lite $_{mathcal{F}}$ and $mathcal{ALCFI}$ and with fixed roles DL-Lite $_{mathcal{F}}$ and a fragment of DL-Lite $_{mathcal{R}}$ , improving upon previous decidability results that are limited to logics which have the finite model property and do not allow to fix roles during minimization." @default.
- W2596405189 created "2017-03-23" @default.
- W2596405189 creator A5010967150 @default.
- W2596405189 creator A5023890924 @default.
- W2596405189 creator A5034616829 @default.
- W2596405189 creator A5041558036 @default.
- W2596405189 creator A5046243825 @default.
- W2596405189 date "2015-01-01" @default.
- W2596405189 modified "2023-09-24" @default.
- W2596405189 title "Decidability of Circumscribed Description Logics Revisited." @default.
- W2596405189 hasPublicationYear "2015" @default.
- W2596405189 type Work @default.
- W2596405189 sameAs 2596405189 @default.
- W2596405189 citedByCount "1" @default.
- W2596405189 countsByYear W25964051892015 @default.
- W2596405189 crossrefType "journal-article" @default.
- W2596405189 hasAuthorship W2596405189A5010967150 @default.
- W2596405189 hasAuthorship W2596405189A5023890924 @default.
- W2596405189 hasAuthorship W2596405189A5034616829 @default.
- W2596405189 hasAuthorship W2596405189A5041558036 @default.
- W2596405189 hasAuthorship W2596405189A5046243825 @default.
- W2596405189 hasConcept C111472728 @default.
- W2596405189 hasConcept C11413529 @default.
- W2596405189 hasConcept C114614502 @default.
- W2596405189 hasConcept C118615104 @default.
- W2596405189 hasConcept C134306372 @default.
- W2596405189 hasConcept C138885662 @default.
- W2596405189 hasConcept C153269930 @default.
- W2596405189 hasConcept C154945302 @default.
- W2596405189 hasConcept C168773769 @default.
- W2596405189 hasConcept C189950617 @default.
- W2596405189 hasConcept C2776235265 @default.
- W2596405189 hasConcept C33923547 @default.
- W2596405189 hasConcept C41008148 @default.
- W2596405189 hasConcept C62360110 @default.
- W2596405189 hasConcept C72169020 @default.
- W2596405189 hasConceptScore W2596405189C111472728 @default.
- W2596405189 hasConceptScore W2596405189C11413529 @default.
- W2596405189 hasConceptScore W2596405189C114614502 @default.
- W2596405189 hasConceptScore W2596405189C118615104 @default.
- W2596405189 hasConceptScore W2596405189C134306372 @default.
- W2596405189 hasConceptScore W2596405189C138885662 @default.
- W2596405189 hasConceptScore W2596405189C153269930 @default.
- W2596405189 hasConceptScore W2596405189C154945302 @default.
- W2596405189 hasConceptScore W2596405189C168773769 @default.
- W2596405189 hasConceptScore W2596405189C189950617 @default.
- W2596405189 hasConceptScore W2596405189C2776235265 @default.
- W2596405189 hasConceptScore W2596405189C33923547 @default.
- W2596405189 hasConceptScore W2596405189C41008148 @default.
- W2596405189 hasConceptScore W2596405189C62360110 @default.
- W2596405189 hasConceptScore W2596405189C72169020 @default.
- W2596405189 hasLocation W25964051891 @default.
- W2596405189 hasOpenAccess W2596405189 @default.
- W2596405189 hasPrimaryLocation W25964051891 @default.
- W2596405189 hasRelatedWork W13104911 @default.
- W2596405189 hasRelatedWork W1582449537 @default.
- W2596405189 hasRelatedWork W1879375111 @default.
- W2596405189 hasRelatedWork W2014322692 @default.
- W2596405189 hasRelatedWork W2017112542 @default.
- W2596405189 hasRelatedWork W2080872423 @default.
- W2596405189 hasRelatedWork W2152195143 @default.
- W2596405189 hasRelatedWork W2156281487 @default.
- W2596405189 hasRelatedWork W2220980829 @default.
- W2596405189 hasRelatedWork W2604667307 @default.
- W2596405189 hasRelatedWork W2605118152 @default.
- W2596405189 hasRelatedWork W2771865035 @default.
- W2596405189 hasRelatedWork W2806921937 @default.
- W2596405189 hasRelatedWork W2969901012 @default.
- W2596405189 hasRelatedWork W2997494475 @default.
- W2596405189 hasRelatedWork W3098700911 @default.
- W2596405189 hasRelatedWork W3176208469 @default.
- W2596405189 hasRelatedWork W40486585 @default.
- W2596405189 hasRelatedWork W89326018 @default.
- W2596405189 hasRelatedWork W2174784885 @default.
- W2596405189 isParatext "false" @default.
- W2596405189 isRetracted "false" @default.
- W2596405189 magId "2596405189" @default.
- W2596405189 workType "article" @default.