Matches in SemOpenAlex for { <https://semopenalex.org/work/W2548509450> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2548509450 abstract "Upper-level ontologies provide an account of the most basic, domain independent entities, such as time, space, objects and processes. They are intended to be broadly reused, among others, during ontology engineering tasks, such as ontology building and integration. Ontology verification is the process by which a theory is checked to rule out its unintended models, and possibly characterize missing intended ones. In this paper, we translate into first-order logic, modularize, and verify the subtheory of location of entities in space and time of the Suggested Upper Merged Ontology SUMO. As a result, we propose the addition of some axioms that rule out unintended models in SUMO, the correction of others, and make available a modularized version of SUMO characterization of location of entities in time and space represented in standard first-order logic." @default.
- W2548509450 created "2016-11-11" @default.
- W2548509450 creator A5008352429 @default.
- W2548509450 creator A5067410702 @default.
- W2548509450 date "2016-01-01" @default.
- W2548509450 modified "2023-09-27" @default.
- W2548509450 title "Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology" @default.
- W2548509450 cites W1490709150 @default.
- W2548509450 cites W2075123415 @default.
- W2548509450 cites W2079255996 @default.
- W2548509450 cites W2551756190 @default.
- W2548509450 cites W4241410814 @default.
- W2548509450 doi "https://doi.org/10.1007/978-3-319-49004-5_39" @default.
- W2548509450 hasPublicationYear "2016" @default.
- W2548509450 type Work @default.
- W2548509450 sameAs 2548509450 @default.
- W2548509450 citedByCount "0" @default.
- W2548509450 crossrefType "book-chapter" @default.
- W2548509450 hasAuthorship W2548509450A5008352429 @default.
- W2548509450 hasAuthorship W2548509450A5067410702 @default.
- W2548509450 hasConcept C102993220 @default.
- W2548509450 hasConcept C111472728 @default.
- W2548509450 hasConcept C111919701 @default.
- W2548509450 hasConcept C134306372 @default.
- W2548509450 hasConcept C137003198 @default.
- W2548509450 hasConcept C138885662 @default.
- W2548509450 hasConcept C167729594 @default.
- W2548509450 hasConcept C199360897 @default.
- W2548509450 hasConcept C22550185 @default.
- W2548509450 hasConcept C2524010 @default.
- W2548509450 hasConcept C25810664 @default.
- W2548509450 hasConcept C2778572836 @default.
- W2548509450 hasConcept C33923547 @default.
- W2548509450 hasConcept C36503486 @default.
- W2548509450 hasConcept C41008148 @default.
- W2548509450 hasConcept C50971890 @default.
- W2548509450 hasConcept C78726541 @default.
- W2548509450 hasConcept C80444323 @default.
- W2548509450 hasConcept C98045186 @default.
- W2548509450 hasConceptScore W2548509450C102993220 @default.
- W2548509450 hasConceptScore W2548509450C111472728 @default.
- W2548509450 hasConceptScore W2548509450C111919701 @default.
- W2548509450 hasConceptScore W2548509450C134306372 @default.
- W2548509450 hasConceptScore W2548509450C137003198 @default.
- W2548509450 hasConceptScore W2548509450C138885662 @default.
- W2548509450 hasConceptScore W2548509450C167729594 @default.
- W2548509450 hasConceptScore W2548509450C199360897 @default.
- W2548509450 hasConceptScore W2548509450C22550185 @default.
- W2548509450 hasConceptScore W2548509450C2524010 @default.
- W2548509450 hasConceptScore W2548509450C25810664 @default.
- W2548509450 hasConceptScore W2548509450C2778572836 @default.
- W2548509450 hasConceptScore W2548509450C33923547 @default.
- W2548509450 hasConceptScore W2548509450C36503486 @default.
- W2548509450 hasConceptScore W2548509450C41008148 @default.
- W2548509450 hasConceptScore W2548509450C50971890 @default.
- W2548509450 hasConceptScore W2548509450C78726541 @default.
- W2548509450 hasConceptScore W2548509450C80444323 @default.
- W2548509450 hasConceptScore W2548509450C98045186 @default.
- W2548509450 hasLocation W25485094501 @default.
- W2548509450 hasOpenAccess W2548509450 @default.
- W2548509450 hasPrimaryLocation W25485094501 @default.
- W2548509450 hasRelatedWork W101945367 @default.
- W2548509450 hasRelatedWork W142619242 @default.
- W2548509450 hasRelatedWork W192501271 @default.
- W2548509450 hasRelatedWork W204793957 @default.
- W2548509450 hasRelatedWork W2090811099 @default.
- W2548509450 hasRelatedWork W2183271780 @default.
- W2548509450 hasRelatedWork W224398829 @default.
- W2548509450 hasRelatedWork W2294500000 @default.
- W2548509450 hasRelatedWork W2556346269 @default.
- W2548509450 hasRelatedWork W2732632690 @default.
- W2548509450 hasRelatedWork W2799420201 @default.
- W2548509450 hasRelatedWork W2809857960 @default.
- W2548509450 hasRelatedWork W2810176791 @default.
- W2548509450 hasRelatedWork W966822913 @default.
- W2548509450 hasRelatedWork W9807100 @default.
- W2548509450 hasRelatedWork W2186749073 @default.
- W2548509450 hasRelatedWork W2754206924 @default.
- W2548509450 hasRelatedWork W2824259631 @default.
- W2548509450 hasRelatedWork W2839919716 @default.
- W2548509450 hasRelatedWork W3145236314 @default.
- W2548509450 isParatext "false" @default.
- W2548509450 isRetracted "false" @default.
- W2548509450 magId "2548509450" @default.
- W2548509450 workType "book-chapter" @default.