Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542602502> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1542602502 endingPage "66" @default.
- W1542602502 startingPage "61" @default.
- W1542602502 abstract "Ontologies are one of the most important layers on semantic web. Inconsistencies observed on cascading changes of thousands of nodes may arise simply because of a small operation on an ontology component. We proposed in this paper an approach that consists in ontology restructuring according to a lexical model that makes possible to model change operations as transformer state based on Hoare's axiomatic semantic. It thus helps proving their satisfiability and the way they change the ontology state through its components." @default.
- W1542602502 created "2016-06-24" @default.
- W1542602502 creator A5006908326 @default.
- W1542602502 creator A5011171046 @default.
- W1542602502 creator A5011347992 @default.
- W1542602502 creator A5084598524 @default.
- W1542602502 date "2012-06-26" @default.
- W1542602502 modified "2023-09-28" @default.
- W1542602502 title "Using Hoare's axiomatic semantics for checking satisfiability of ontology change operations" @default.
- W1542602502 cites W1560486522 @default.
- W1542602502 cites W2042037135 @default.
- W1542602502 cites W2067072268 @default.
- W1542602502 cites W2087827772 @default.
- W1542602502 cites W2121134137 @default.
- W1542602502 cites W2124329081 @default.
- W1542602502 cites W2156812359 @default.
- W1542602502 hasPublicationYear "2012" @default.
- W1542602502 type Work @default.
- W1542602502 sameAs 1542602502 @default.
- W1542602502 citedByCount "2" @default.
- W1542602502 countsByYear W15426025022015 @default.
- W1542602502 countsByYear W15426025022017 @default.
- W1542602502 crossrefType "proceedings-article" @default.
- W1542602502 hasAuthorship W1542602502A5006908326 @default.
- W1542602502 hasAuthorship W1542602502A5011171046 @default.
- W1542602502 hasAuthorship W1542602502A5011347992 @default.
- W1542602502 hasAuthorship W1542602502A5084598524 @default.
- W1542602502 hasConcept C111472728 @default.
- W1542602502 hasConcept C138885662 @default.
- W1542602502 hasConcept C167729594 @default.
- W1542602502 hasConcept C168773769 @default.
- W1542602502 hasConcept C184337299 @default.
- W1542602502 hasConcept C199360897 @default.
- W1542602502 hasConcept C2524010 @default.
- W1542602502 hasConcept C25810664 @default.
- W1542602502 hasConcept C33923547 @default.
- W1542602502 hasConcept C41008148 @default.
- W1542602502 hasConcept C80444323 @default.
- W1542602502 hasConceptScore W1542602502C111472728 @default.
- W1542602502 hasConceptScore W1542602502C138885662 @default.
- W1542602502 hasConceptScore W1542602502C167729594 @default.
- W1542602502 hasConceptScore W1542602502C168773769 @default.
- W1542602502 hasConceptScore W1542602502C184337299 @default.
- W1542602502 hasConceptScore W1542602502C199360897 @default.
- W1542602502 hasConceptScore W1542602502C2524010 @default.
- W1542602502 hasConceptScore W1542602502C25810664 @default.
- W1542602502 hasConceptScore W1542602502C33923547 @default.
- W1542602502 hasConceptScore W1542602502C41008148 @default.
- W1542602502 hasConceptScore W1542602502C80444323 @default.
- W1542602502 hasLocation W15426025021 @default.
- W1542602502 hasOpenAccess W1542602502 @default.
- W1542602502 hasPrimaryLocation W15426025021 @default.
- W1542602502 hasRelatedWork W1422032522 @default.
- W1542602502 hasRelatedWork W145724370 @default.
- W1542602502 hasRelatedWork W1492500702 @default.
- W1542602502 hasRelatedWork W1579362459 @default.
- W1542602502 hasRelatedWork W1585015170 @default.
- W1542602502 hasRelatedWork W1594013241 @default.
- W1542602502 hasRelatedWork W1604059784 @default.
- W1542602502 hasRelatedWork W1929438219 @default.
- W1542602502 hasRelatedWork W197556432 @default.
- W1542602502 hasRelatedWork W1997987019 @default.
- W1542602502 hasRelatedWork W2001390679 @default.
- W1542602502 hasRelatedWork W2059650559 @default.
- W1542602502 hasRelatedWork W2117033209 @default.
- W1542602502 hasRelatedWork W2237663389 @default.
- W1542602502 hasRelatedWork W239703031 @default.
- W1542602502 hasRelatedWork W2496281881 @default.
- W1542602502 hasRelatedWork W2973326731 @default.
- W1542602502 hasRelatedWork W3134436023 @default.
- W1542602502 hasRelatedWork W52370396 @default.
- W1542602502 hasRelatedWork W60270170 @default.
- W1542602502 hasVolume "1" @default.
- W1542602502 isParatext "false" @default.
- W1542602502 isRetracted "false" @default.
- W1542602502 magId "1542602502" @default.
- W1542602502 workType "article" @default.