Matches in SemOpenAlex for { <https://semopenalex.org/work/W80737574> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W80737574 endingPage "471" @default.
- W80737574 startingPage "466" @default.
- W80737574 abstract "We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m)- To demonstrate the utility of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a simple proof that subsumption in ACC is PSPACE-complete, replacing the original six-page one.Furthermore, we consider an extension of ACC additionally containing both the identity role and the composition, union, transitive-reflexive closure, range restriction, and inverse of roles. It turns out that this language, called TSL, is a notational variant of the propositional dynamic logic converse-PDL. Using this correspondence, we prove that it suffices to consider finite TSL-models, show that TSL-subsumption is decidable, and obtain an axiomatization of TSL By discovering that features correspond to deterministic programs in dynamic logic, we show that adding them to TSC preserves decidability, although violates its finite model property. Additionally, we describe an algorithm for deciding the coherence of inverse-free TSC-concepts with features. Finally, we prove that universal implications can be expressed within TSC." @default.
- W80737574 created "2016-06-24" @default.
- W80737574 creator A5013275954 @default.
- W80737574 date "1991-08-24" @default.
- W80737574 modified "2023-10-03" @default.
- W80737574 title "A correspondence theory for terminological logics: preliminary report" @default.
- W80737574 cites W1547094549 @default.
- W80737574 cites W1600348701 @default.
- W80737574 cites W1754269820 @default.
- W80737574 cites W1936956611 @default.
- W80737574 cites W1987019087 @default.
- W80737574 cites W2066949643 @default.
- W80737574 cites W2069709605 @default.
- W80737574 cites W2073491323 @default.
- W80737574 cites W2143620943 @default.
- W80737574 hasPublicationYear "1991" @default.
- W80737574 type Work @default.
- W80737574 sameAs 80737574 @default.
- W80737574 citedByCount "263" @default.
- W80737574 countsByYear W807375742012 @default.
- W80737574 countsByYear W807375742013 @default.
- W80737574 countsByYear W807375742014 @default.
- W80737574 countsByYear W807375742015 @default.
- W80737574 countsByYear W807375742016 @default.
- W80737574 countsByYear W807375742017 @default.
- W80737574 countsByYear W807375742018 @default.
- W80737574 countsByYear W807375742019 @default.
- W80737574 countsByYear W807375742020 @default.
- W80737574 countsByYear W807375742021 @default.
- W80737574 crossrefType "proceedings-article" @default.
- W80737574 hasAuthorship W80737574A5013275954 @default.
- W80737574 hasConcept C11413529 @default.
- W80737574 hasConcept C114614502 @default.
- W80737574 hasConcept C118615104 @default.
- W80737574 hasConcept C136119220 @default.
- W80737574 hasConcept C153269930 @default.
- W80737574 hasConcept C185592680 @default.
- W80737574 hasConcept C188027245 @default.
- W80737574 hasConcept C191399111 @default.
- W80737574 hasConcept C202444582 @default.
- W80737574 hasConcept C207467116 @default.
- W80737574 hasConcept C2524010 @default.
- W80737574 hasConcept C27508121 @default.
- W80737574 hasConcept C2776809875 @default.
- W80737574 hasConcept C33923547 @default.
- W80737574 hasConcept C41008148 @default.
- W80737574 hasConcept C69562738 @default.
- W80737574 hasConcept C71139939 @default.
- W80737574 hasConcept C80444323 @default.
- W80737574 hasConceptScore W80737574C11413529 @default.
- W80737574 hasConceptScore W80737574C114614502 @default.
- W80737574 hasConceptScore W80737574C118615104 @default.
- W80737574 hasConceptScore W80737574C136119220 @default.
- W80737574 hasConceptScore W80737574C153269930 @default.
- W80737574 hasConceptScore W80737574C185592680 @default.
- W80737574 hasConceptScore W80737574C188027245 @default.
- W80737574 hasConceptScore W80737574C191399111 @default.
- W80737574 hasConceptScore W80737574C202444582 @default.
- W80737574 hasConceptScore W80737574C207467116 @default.
- W80737574 hasConceptScore W80737574C2524010 @default.
- W80737574 hasConceptScore W80737574C27508121 @default.
- W80737574 hasConceptScore W80737574C2776809875 @default.
- W80737574 hasConceptScore W80737574C33923547 @default.
- W80737574 hasConceptScore W80737574C41008148 @default.
- W80737574 hasConceptScore W80737574C69562738 @default.
- W80737574 hasConceptScore W80737574C71139939 @default.
- W80737574 hasConceptScore W80737574C80444323 @default.
- W80737574 hasLocation W807375741 @default.
- W80737574 hasOpenAccess W80737574 @default.
- W80737574 hasPrimaryLocation W807375741 @default.
- W80737574 hasRelatedWork W139763282 @default.
- W80737574 hasRelatedWork W1512766599 @default.
- W80737574 hasRelatedWork W1542417898 @default.
- W80737574 hasRelatedWork W1555563750 @default.
- W80737574 hasRelatedWork W1575501166 @default.
- W80737574 hasRelatedWork W1585071008 @default.
- W80737574 hasRelatedWork W1588876385 @default.
- W80737574 hasRelatedWork W1614615401 @default.
- W80737574 hasRelatedWork W1640599491 @default.
- W80737574 hasRelatedWork W1670748022 @default.
- W80737574 hasRelatedWork W1860690667 @default.
- W80737574 hasRelatedWork W1964664152 @default.
- W80737574 hasRelatedWork W1982030536 @default.
- W80737574 hasRelatedWork W2033071128 @default.
- W80737574 hasRelatedWork W2057513565 @default.
- W80737574 hasRelatedWork W2069709605 @default.
- W80737574 hasRelatedWork W2109003533 @default.
- W80737574 hasRelatedWork W2140147652 @default.
- W80737574 hasRelatedWork W2145465694 @default.
- W80737574 hasRelatedWork W2159525276 @default.
- W80737574 isParatext "false" @default.
- W80737574 isRetracted "false" @default.
- W80737574 magId "80737574" @default.
- W80737574 workType "article" @default.