Matches in SemOpenAlex for { <https://semopenalex.org/work/W66176321> ?p ?o ?g. }
- W66176321 abstract "This paper investigates Description Logics which allow transitive clo- sure of roles to occur not only in concept inclusion axioms but also in role in- clusion axioms. First, we propose a decision procedure for the description logic SHIO+, which is obtained from SHIO by adding transitive closure of roles. Next, we show that SHIO+ has the finite model property by providing a up- per bound on the size of models of satisfiable SHIO+-concepts with respect to sets of concept and role inclusion axioms. Additionally, we prove that if we add number restrictions to SHI+ then the satisfiability problem is undecidable." @default.
- W66176321 created "2016-06-24" @default.
- W66176321 creator A5047175249 @default.
- W66176321 creator A5072109675 @default.
- W66176321 date "2010-01-01" @default.
- W66176321 modified "2023-09-23" @default.
- W66176321 title "Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms" @default.
- W66176321 cites W10498814 @default.
- W66176321 cites W1499418768 @default.
- W66176321 cites W1512766599 @default.
- W66176321 cites W1678959094 @default.
- W66176321 cites W1978912716 @default.
- W66176321 cites W1982030536 @default.
- W66176321 cites W2119478850 @default.
- W66176321 cites W2122368812 @default.
- W66176321 cites W2140147652 @default.
- W66176321 cites W2154362535 @default.
- W66176321 cites W2398961901 @default.
- W66176321 hasPublicationYear "2010" @default.
- W66176321 type Work @default.
- W66176321 sameAs 66176321 @default.
- W66176321 citedByCount "5" @default.
- W66176321 countsByYear W661763212013 @default.
- W66176321 countsByYear W661763212015 @default.
- W66176321 countsByYear W661763212019 @default.
- W66176321 countsByYear W661763212020 @default.
- W66176321 crossrefType "journal-article" @default.
- W66176321 hasAuthorship W66176321A5047175249 @default.
- W66176321 hasAuthorship W66176321A5072109675 @default.
- W66176321 hasConcept C107993555 @default.
- W66176321 hasConcept C109359841 @default.
- W66176321 hasConcept C111472728 @default.
- W66176321 hasConcept C114614502 @default.
- W66176321 hasConcept C118615104 @default.
- W66176321 hasConcept C128896722 @default.
- W66176321 hasConcept C136643341 @default.
- W66176321 hasConcept C138885662 @default.
- W66176321 hasConcept C144024400 @default.
- W66176321 hasConcept C146834321 @default.
- W66176321 hasConcept C153269930 @default.
- W66176321 hasConcept C162324750 @default.
- W66176321 hasConcept C167729594 @default.
- W66176321 hasConcept C168773769 @default.
- W66176321 hasConcept C189950617 @default.
- W66176321 hasConcept C191399111 @default.
- W66176321 hasConcept C192034797 @default.
- W66176321 hasConcept C2524010 @default.
- W66176321 hasConcept C33923547 @default.
- W66176321 hasConcept C34447519 @default.
- W66176321 hasConcept C41008148 @default.
- W66176321 hasConcept C6943359 @default.
- W66176321 hasConcept C80444323 @default.
- W66176321 hasConceptScore W66176321C107993555 @default.
- W66176321 hasConceptScore W66176321C109359841 @default.
- W66176321 hasConceptScore W66176321C111472728 @default.
- W66176321 hasConceptScore W66176321C114614502 @default.
- W66176321 hasConceptScore W66176321C118615104 @default.
- W66176321 hasConceptScore W66176321C128896722 @default.
- W66176321 hasConceptScore W66176321C136643341 @default.
- W66176321 hasConceptScore W66176321C138885662 @default.
- W66176321 hasConceptScore W66176321C144024400 @default.
- W66176321 hasConceptScore W66176321C146834321 @default.
- W66176321 hasConceptScore W66176321C153269930 @default.
- W66176321 hasConceptScore W66176321C162324750 @default.
- W66176321 hasConceptScore W66176321C167729594 @default.
- W66176321 hasConceptScore W66176321C168773769 @default.
- W66176321 hasConceptScore W66176321C189950617 @default.
- W66176321 hasConceptScore W66176321C191399111 @default.
- W66176321 hasConceptScore W66176321C192034797 @default.
- W66176321 hasConceptScore W66176321C2524010 @default.
- W66176321 hasConceptScore W66176321C33923547 @default.
- W66176321 hasConceptScore W66176321C34447519 @default.
- W66176321 hasConceptScore W66176321C41008148 @default.
- W66176321 hasConceptScore W66176321C6943359 @default.
- W66176321 hasConceptScore W66176321C80444323 @default.
- W66176321 hasLocation W661763211 @default.
- W66176321 hasOpenAccess W66176321 @default.
- W66176321 hasPrimaryLocation W661763211 @default.
- W66176321 hasRelatedWork W13104911 @default.
- W66176321 hasRelatedWork W1552186380 @default.
- W66176321 hasRelatedWork W183570641 @default.
- W66176321 hasRelatedWork W1896271104 @default.
- W66176321 hasRelatedWork W1971727793 @default.
- W66176321 hasRelatedWork W2014322692 @default.
- W66176321 hasRelatedWork W2025535135 @default.
- W66176321 hasRelatedWork W2047674711 @default.
- W66176321 hasRelatedWork W2067838189 @default.
- W66176321 hasRelatedWork W2073314176 @default.
- W66176321 hasRelatedWork W2080872423 @default.
- W66176321 hasRelatedWork W2103196177 @default.
- W66176321 hasRelatedWork W2246583867 @default.
- W66176321 hasRelatedWork W255137432 @default.
- W66176321 hasRelatedWork W2605118152 @default.
- W66176321 hasRelatedWork W2798961084 @default.
- W66176321 hasRelatedWork W2891863042 @default.
- W66176321 hasRelatedWork W3039939528 @default.
- W66176321 hasRelatedWork W3099593821 @default.
- W66176321 hasRelatedWork W52360167 @default.
- W66176321 isParatext "false" @default.
- W66176321 isRetracted "false" @default.