Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073557729> ?p ?o ?g. }
- W2073557729 endingPage "38" @default.
- W2073557729 startingPage "1" @default.
- W2073557729 abstract "Abstract Specialization and inheritance are well-known concepts in the area of object-oriented modelling and knowledge representation. However, certain aspects of these concepts lack formal foundations. In particular, when properties of different classes are semantically related, several different semantics are possible for the inherited properties, and a choice is necessary. Conventional systems impose an a priori solution that supports only one of the possible semantics of inheritance. In this paper, we present constructs that allow to differentiate between the possible semantics of inheritance, in a formal and sound way. Our approach is based on a structured view of the real world and a model for its representation. By necessity, the model only partly represents the real world. Thus, reasoning in the model is done with reference to the real world. We introduce restriction isa , a form of specialization that represents property restriction, and demonstrate that it can be a useful conceptual modelling mechanism. We employ restriction isa to formally define property inheritance. Reasoning in our model is done through a number of inference rules that reflect real world constraints. These rules allow for sound derivations both at the instance and schema levels. At the schema level, in particular, these rules allow us to relate inherited properties to other properties through restriction-isa and isa relations. Such relations not only give useful information about the inherited properties but also refine the values of these properties." @default.
- W2073557729 created "2016-06-24" @default.
- W2073557729 creator A5017973533 @default.
- W2073557729 creator A5034372518 @default.
- W2073557729 creator A5039919297 @default.
- W2073557729 date "1998-03-01" @default.
- W2073557729 modified "2023-09-30" @default.
- W2073557729 title "Specialization by restriction and schema derivations" @default.
- W2073557729 cites W1484991168 @default.
- W2073557729 cites W1558378945 @default.
- W2073557729 cites W1573833643 @default.
- W2073557729 cites W2002792899 @default.
- W2073557729 cites W2019950953 @default.
- W2073557729 cites W2021570844 @default.
- W2073557729 cites W2026735162 @default.
- W2073557729 cites W2027657506 @default.
- W2073557729 cites W2028544887 @default.
- W2073557729 cites W2029122626 @default.
- W2073557729 cites W2053627967 @default.
- W2073557729 cites W2058313500 @default.
- W2073557729 cites W2065089526 @default.
- W2073557729 cites W2066157863 @default.
- W2073557729 cites W2079814255 @default.
- W2073557729 cites W2082625705 @default.
- W2073557729 cites W2084130127 @default.
- W2073557729 cites W2086906616 @default.
- W2073557729 cites W2088986879 @default.
- W2073557729 cites W2094309656 @default.
- W2073557729 cites W2113827629 @default.
- W2073557729 cites W2115164315 @default.
- W2073557729 cites W2127982691 @default.
- W2073557729 cites W2136841553 @default.
- W2073557729 cites W2159525276 @default.
- W2073557729 cites W2162702010 @default.
- W2073557729 cites W2205031991 @default.
- W2073557729 cites W312132717 @default.
- W2073557729 doi "https://doi.org/10.1016/s0306-4379(98)00001-5" @default.
- W2073557729 hasPublicationYear "1998" @default.
- W2073557729 type Work @default.
- W2073557729 sameAs 2073557729 @default.
- W2073557729 citedByCount "6" @default.
- W2073557729 countsByYear W20735577292012 @default.
- W2073557729 crossrefType "journal-article" @default.
- W2073557729 hasAuthorship W2073557729A5017973533 @default.
- W2073557729 hasAuthorship W2073557729A5034372518 @default.
- W2073557729 hasAuthorship W2073557729A5039919297 @default.
- W2073557729 hasConcept C104317684 @default.
- W2073557729 hasConcept C111472728 @default.
- W2073557729 hasConcept C138496976 @default.
- W2073557729 hasConcept C138885662 @default.
- W2073557729 hasConcept C154945302 @default.
- W2073557729 hasConcept C15744967 @default.
- W2073557729 hasConcept C165611974 @default.
- W2073557729 hasConcept C184337299 @default.
- W2073557729 hasConcept C185592680 @default.
- W2073557729 hasConcept C189950617 @default.
- W2073557729 hasConcept C199360897 @default.
- W2073557729 hasConcept C200568363 @default.
- W2073557729 hasConcept C23123220 @default.
- W2073557729 hasConcept C2776214188 @default.
- W2073557729 hasConcept C2780902518 @default.
- W2073557729 hasConcept C29275276 @default.
- W2073557729 hasConcept C41008148 @default.
- W2073557729 hasConcept C52146309 @default.
- W2073557729 hasConcept C55493867 @default.
- W2073557729 hasConcept C73752529 @default.
- W2073557729 hasConcept C75553542 @default.
- W2073557729 hasConcept C80444323 @default.
- W2073557729 hasConceptScore W2073557729C104317684 @default.
- W2073557729 hasConceptScore W2073557729C111472728 @default.
- W2073557729 hasConceptScore W2073557729C138496976 @default.
- W2073557729 hasConceptScore W2073557729C138885662 @default.
- W2073557729 hasConceptScore W2073557729C154945302 @default.
- W2073557729 hasConceptScore W2073557729C15744967 @default.
- W2073557729 hasConceptScore W2073557729C165611974 @default.
- W2073557729 hasConceptScore W2073557729C184337299 @default.
- W2073557729 hasConceptScore W2073557729C185592680 @default.
- W2073557729 hasConceptScore W2073557729C189950617 @default.
- W2073557729 hasConceptScore W2073557729C199360897 @default.
- W2073557729 hasConceptScore W2073557729C200568363 @default.
- W2073557729 hasConceptScore W2073557729C23123220 @default.
- W2073557729 hasConceptScore W2073557729C2776214188 @default.
- W2073557729 hasConceptScore W2073557729C2780902518 @default.
- W2073557729 hasConceptScore W2073557729C29275276 @default.
- W2073557729 hasConceptScore W2073557729C41008148 @default.
- W2073557729 hasConceptScore W2073557729C52146309 @default.
- W2073557729 hasConceptScore W2073557729C55493867 @default.
- W2073557729 hasConceptScore W2073557729C73752529 @default.
- W2073557729 hasConceptScore W2073557729C75553542 @default.
- W2073557729 hasConceptScore W2073557729C80444323 @default.
- W2073557729 hasIssue "1" @default.
- W2073557729 hasLocation W20735577291 @default.
- W2073557729 hasOpenAccess W2073557729 @default.
- W2073557729 hasPrimaryLocation W20735577291 @default.
- W2073557729 hasRelatedWork W122437505 @default.
- W2073557729 hasRelatedWork W147998268 @default.
- W2073557729 hasRelatedWork W1496631421 @default.
- W2073557729 hasRelatedWork W1501858935 @default.