Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491431007> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1491431007 endingPage "346" @default.
- W1491431007 startingPage "332" @default.
- W1491431007 abstract "Description Logics (DLs) are used in Artificial Intelligence to represent knowledge in terms of objects grouped into classes, and offer structuring mechanisms for both characterizing the relevant properties of classes in terms of binary relations, and establishing several interdependencies among classes. One of the main themes in the area of DLs has been to identify DLs that are both very expressive and decidable. This issue can be profitably addressed by relying on a correspondence between DLs and propositional dynamic logics (PDLs). In this paper, we exploit the correspondence as a framework to investigate the decidability and the complexity of a powerful DL, in which functional restrictions on both atomic roles and their inverse are expressible. We then show that such DL is suitable to represent n-ary relations, as needed in the applications of class-based formalisms to databases. The PDL that we use in this work is a proper extension of Converse Deterministic PDL, and its decidability and complexity is established contextually.KeywordsFunctional RestrictionDescription LogicLogical ImplicationFinite ModelConcept LanguageThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1491431007 created "2016-06-24" @default.
- W1491431007 creator A5013290512 @default.
- W1491431007 creator A5055401331 @default.
- W1491431007 date "1994-01-01" @default.
- W1491431007 modified "2023-09-26" @default.
- W1491431007 title "Description Logics with inverse roles, functional restrictions, and n-ary relations" @default.
- W1491431007 cites W1511693845 @default.
- W1491431007 cites W1514356467 @default.
- W1491431007 cites W1519854400 @default.
- W1491431007 cites W1547094549 @default.
- W1491431007 cites W1547168887 @default.
- W1491431007 cites W1616151740 @default.
- W1491431007 cites W1974136241 @default.
- W1491431007 cites W1987019087 @default.
- W1491431007 cites W1989040088 @default.
- W1491431007 cites W2020514031 @default.
- W1491431007 cites W2028589691 @default.
- W1491431007 cites W2033071128 @default.
- W1491431007 cites W2057440130 @default.
- W1491431007 cites W2057513565 @default.
- W1491431007 cites W2069709605 @default.
- W1491431007 cites W2145465694 @default.
- W1491431007 cites W2953285398 @default.
- W1491431007 cites W4245349101 @default.
- W1491431007 doi "https://doi.org/10.1007/bfb0021982" @default.
- W1491431007 hasPublicationYear "1994" @default.
- W1491431007 type Work @default.
- W1491431007 sameAs 1491431007 @default.
- W1491431007 citedByCount "21" @default.
- W1491431007 countsByYear W14914310072015 @default.
- W1491431007 crossrefType "book-chapter" @default.
- W1491431007 hasAuthorship W1491431007A5013290512 @default.
- W1491431007 hasAuthorship W1491431007A5055401331 @default.
- W1491431007 hasBestOaLocation W14914310072 @default.
- W1491431007 hasConcept C102993220 @default.
- W1491431007 hasConcept C11413529 @default.
- W1491431007 hasConcept C118615104 @default.
- W1491431007 hasConcept C153269930 @default.
- W1491431007 hasConcept C154945302 @default.
- W1491431007 hasConcept C171018156 @default.
- W1491431007 hasConcept C207467116 @default.
- W1491431007 hasConcept C2524010 @default.
- W1491431007 hasConcept C2776809875 @default.
- W1491431007 hasConcept C2777212361 @default.
- W1491431007 hasConcept C33923547 @default.
- W1491431007 hasConcept C41008148 @default.
- W1491431007 hasConcept C65180967 @default.
- W1491431007 hasConcept C80444323 @default.
- W1491431007 hasConceptScore W1491431007C102993220 @default.
- W1491431007 hasConceptScore W1491431007C11413529 @default.
- W1491431007 hasConceptScore W1491431007C118615104 @default.
- W1491431007 hasConceptScore W1491431007C153269930 @default.
- W1491431007 hasConceptScore W1491431007C154945302 @default.
- W1491431007 hasConceptScore W1491431007C171018156 @default.
- W1491431007 hasConceptScore W1491431007C207467116 @default.
- W1491431007 hasConceptScore W1491431007C2524010 @default.
- W1491431007 hasConceptScore W1491431007C2776809875 @default.
- W1491431007 hasConceptScore W1491431007C2777212361 @default.
- W1491431007 hasConceptScore W1491431007C33923547 @default.
- W1491431007 hasConceptScore W1491431007C41008148 @default.
- W1491431007 hasConceptScore W1491431007C65180967 @default.
- W1491431007 hasConceptScore W1491431007C80444323 @default.
- W1491431007 hasLocation W14914310071 @default.
- W1491431007 hasLocation W14914310072 @default.
- W1491431007 hasOpenAccess W1491431007 @default.
- W1491431007 hasPrimaryLocation W14914310071 @default.
- W1491431007 hasRelatedWork W1491431007 @default.
- W1491431007 hasRelatedWork W1499418768 @default.
- W1491431007 hasRelatedWork W1540215665 @default.
- W1491431007 hasRelatedWork W1727181597 @default.
- W1491431007 hasRelatedWork W2101881372 @default.
- W1491431007 hasRelatedWork W2159436396 @default.
- W1491431007 hasRelatedWork W2575764883 @default.
- W1491431007 hasRelatedWork W2950697517 @default.
- W1491431007 hasRelatedWork W3162324384 @default.
- W1491431007 hasRelatedWork W96688659 @default.
- W1491431007 isParatext "false" @default.
- W1491431007 isRetracted "false" @default.
- W1491431007 magId "1491431007" @default.
- W1491431007 workType "book-chapter" @default.