Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100650003> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2100650003 abstract "In the formalization of ontology, the notion of identity is especially important, because only it can be explained by the set-theoretical model, in which each property is expressed as a set of individuals. Primarily, an identity condition (IC) is used to judge if two individuals are identical or not. In this paper, we consider multiple identity conditions for a sortal property in order to solve subsumption inconsistency, that is, lack of relevant ICs between two sortal properties. We employ modal logic and provide functions for identity conditions. Our theory of multiple ICs would contribute to the consistent updating of ontological knowledge not only by removing inadequate links on incompatible ICs but also by verifying the IC set of each sortal property on change of subsumption. We present a practical example to illustrate knowledge updating mechanism concerning with rigid properties and their ICs." @default.
- W2100650003 created "2016-06-24" @default.
- W2100650003 creator A5039954220 @default.
- W2100650003 creator A5084819211 @default.
- W2100650003 date "2005-05-24" @default.
- W2100650003 modified "2023-09-25" @default.
- W2100650003 title "Consistency maintenance in ontological knowledge updating" @default.
- W2100650003 cites W1490454283 @default.
- W2100650003 cites W1568008640 @default.
- W2100650003 cites W158868054 @default.
- W2100650003 cites W1964693872 @default.
- W2100650003 cites W1991650963 @default.
- W2100650003 cites W2056420273 @default.
- W2100650003 cites W2095674696 @default.
- W2100650003 cites W2146164774 @default.
- W2100650003 cites W271927710 @default.
- W2100650003 cites W34084181 @default.
- W2100650003 doi "https://doi.org/10.1109/iri.2004.1431492" @default.
- W2100650003 hasPublicationYear "2005" @default.
- W2100650003 type Work @default.
- W2100650003 sameAs 2100650003 @default.
- W2100650003 citedByCount "2" @default.
- W2100650003 crossrefType "proceedings-article" @default.
- W2100650003 hasAuthorship W2100650003A5039954220 @default.
- W2100650003 hasAuthorship W2100650003A5084819211 @default.
- W2100650003 hasConcept C107038049 @default.
- W2100650003 hasConcept C111472728 @default.
- W2100650003 hasConcept C138885662 @default.
- W2100650003 hasConcept C153046414 @default.
- W2100650003 hasConcept C154945302 @default.
- W2100650003 hasConcept C177264268 @default.
- W2100650003 hasConcept C185592680 @default.
- W2100650003 hasConcept C188027245 @default.
- W2100650003 hasConcept C189950617 @default.
- W2100650003 hasConcept C199360897 @default.
- W2100650003 hasConcept C25810664 @default.
- W2100650003 hasConcept C27508121 @default.
- W2100650003 hasConcept C2776436953 @default.
- W2100650003 hasConcept C2778355321 @default.
- W2100650003 hasConcept C41008148 @default.
- W2100650003 hasConcept C71139939 @default.
- W2100650003 hasConcept C80444323 @default.
- W2100650003 hasConceptScore W2100650003C107038049 @default.
- W2100650003 hasConceptScore W2100650003C111472728 @default.
- W2100650003 hasConceptScore W2100650003C138885662 @default.
- W2100650003 hasConceptScore W2100650003C153046414 @default.
- W2100650003 hasConceptScore W2100650003C154945302 @default.
- W2100650003 hasConceptScore W2100650003C177264268 @default.
- W2100650003 hasConceptScore W2100650003C185592680 @default.
- W2100650003 hasConceptScore W2100650003C188027245 @default.
- W2100650003 hasConceptScore W2100650003C189950617 @default.
- W2100650003 hasConceptScore W2100650003C199360897 @default.
- W2100650003 hasConceptScore W2100650003C25810664 @default.
- W2100650003 hasConceptScore W2100650003C27508121 @default.
- W2100650003 hasConceptScore W2100650003C2776436953 @default.
- W2100650003 hasConceptScore W2100650003C2778355321 @default.
- W2100650003 hasConceptScore W2100650003C41008148 @default.
- W2100650003 hasConceptScore W2100650003C71139939 @default.
- W2100650003 hasConceptScore W2100650003C80444323 @default.
- W2100650003 hasLocation W21006500031 @default.
- W2100650003 hasOpenAccess W2100650003 @default.
- W2100650003 hasPrimaryLocation W21006500031 @default.
- W2100650003 hasRelatedWork W1539223265 @default.
- W2100650003 hasRelatedWork W1869241261 @default.
- W2100650003 hasRelatedWork W1943070153 @default.
- W2100650003 hasRelatedWork W2012899205 @default.
- W2100650003 hasRelatedWork W20175516 @default.
- W2100650003 hasRelatedWork W2176120300 @default.
- W2100650003 hasRelatedWork W2235495771 @default.
- W2100650003 hasRelatedWork W24080359 @default.
- W2100650003 hasRelatedWork W2409427544 @default.
- W2100650003 hasRelatedWork W2505351680 @default.
- W2100650003 hasRelatedWork W267718 @default.
- W2100650003 hasRelatedWork W2781875486 @default.
- W2100650003 hasRelatedWork W2940415034 @default.
- W2100650003 hasRelatedWork W2974760014 @default.
- W2100650003 hasRelatedWork W3037953068 @default.
- W2100650003 hasRelatedWork W3105914332 @default.
- W2100650003 hasRelatedWork W3111931364 @default.
- W2100650003 hasRelatedWork W63076690 @default.
- W2100650003 hasRelatedWork W193166816 @default.
- W2100650003 hasRelatedWork W2184055642 @default.
- W2100650003 isParatext "false" @default.
- W2100650003 isRetracted "false" @default.
- W2100650003 magId "2100650003" @default.
- W2100650003 workType "article" @default.