FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007171636> ?p ?o ?g. }

• W2007171636 endingPage "798" @default.
• W2007171636 startingPage "765" @default.
• W2007171636 abstract "This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online." @default.
• W2007171636 created "2016-06-24" @default.
• W2007171636 creator A5034752274 @default.
• W2007171636 creator A5045066788 @default.
• W2007171636 creator A5076176607 @default.
• W2007171636 date "2009-06-01" @default.
• W2007171636 modified "2023-10-15" @default.
• W2007171636 title "A spatio-temporal ontology for geographic information integration" @default.
• W2007171636 cites W136313259 @default.
• W2007171636 cites W1483417575 @default.
• W2007171636 cites W1483417608 @default.
• W2007171636 cites W1522529670 @default.
• W2007171636 cites W1532252841 @default.
• W2007171636 cites W1553976193 @default.
• W2007171636 cites W1557091741 @default.
• W2007171636 cites W1676677252 @default.
• W2007171636 cites W1698357569 @default.
• W2007171636 cites W1845814381 @default.
• W2007171636 cites W1972457164 @default.
• W2007171636 cites W1983403209 @default.
• W2007171636 cites W1983631993 @default.
• W2007171636 cites W1993426067 @default.
• W2007171636 cites W2009420325 @default.
• W2007171636 cites W2010267600 @default.
• W2007171636 cites W2011408039 @default.
• W2007171636 cites W2012172914 @default.
• W2007171636 cites W2012853769 @default.
• W2007171636 cites W2043602128 @default.
• W2007171636 cites W2066676451 @default.
• W2007171636 cites W2071434200 @default.
• W2007171636 cites W2076852803 @default.
• W2007171636 cites W2084068688 @default.
• W2007171636 cites W2084180754 @default.
• W2007171636 cites W2097961633 @default.
• W2007171636 cites W2103000060 @default.
• W2007171636 cites W2103260426 @default.
• W2007171636 cites W2113142309 @default.
• W2007171636 cites W2121227578 @default.
• W2007171636 cites W2121470999 @default.
• W2007171636 cites W2122976400 @default.
• W2007171636 cites W2125719775 @default.
• W2007171636 cites W2133039566 @default.
• W2007171636 cites W2134126205 @default.
• W2007171636 cites W2137079713 @default.
• W2007171636 cites W2146871965 @default.
• W2007171636 cites W2151446246 @default.
• W2007171636 cites W2168092187 @default.
• W2007171636 cites W2332981332 @default.
• W2007171636 cites W4210944044 @default.
• W2007171636 cites W4234528212 @default.
• W2007171636 doi "https://doi.org/10.1080/13658810701776767" @default.
• W2007171636 hasPublicationYear "2009" @default.
• W2007171636 type Work @default.
• W2007171636 sameAs 2007171636 @default.
• W2007171636 citedByCount "70" @default.
• W2007171636 countsByYear W20071716362012 @default.
• W2007171636 countsByYear W20071716362013 @default.
• W2007171636 countsByYear W20071716362014 @default.
• W2007171636 countsByYear W20071716362015 @default.
• W2007171636 countsByYear W20071716362016 @default.
• W2007171636 countsByYear W20071716362017 @default.
• W2007171636 countsByYear W20071716362018 @default.
• W2007171636 countsByYear W20071716362019 @default.
• W2007171636 countsByYear W20071716362020 @default.
• W2007171636 countsByYear W20071716362021 @default.
• W2007171636 countsByYear W20071716362022 @default.
• W2007171636 crossrefType "journal-article" @default.
• W2007171636 hasAuthorship W2007171636A5034752274 @default.
• W2007171636 hasAuthorship W2007171636A5045066788 @default.
• W2007171636 hasAuthorship W2007171636A5076176607 @default.
• W2007171636 hasBestOaLocation W20071716362 @default.
• W2007171636 hasConcept C108710211 @default.
• W2007171636 hasConcept C111472728 @default.
• W2007171636 hasConcept C124101348 @default.
• W2007171636 hasConcept C125773388 @default.
• W2007171636 hasConcept C138885662 @default.
• W2007171636 hasConcept C152385842 @default.
• W2007171636 hasConcept C154945302 @default.
• W2007171636 hasConcept C16592111 @default.
• W2007171636 hasConcept C167729594 @default.
• W2007171636 hasConcept C171018156 @default.
• W2007171636 hasConcept C17744445 @default.
• W2007171636 hasConcept C199360897 @default.
• W2007171636 hasConcept C199539241 @default.
• W2007171636 hasConcept C20693621 @default.
• W2007171636 hasConcept C2129575 @default.
• W2007171636 hasConcept C2524010 @default.
• W2007171636 hasConcept C25343380 @default.
• W2007171636 hasConcept C25810664 @default.
• W2007171636 hasConcept C2776359362 @default.
• W2007171636 hasConcept C2778177438 @default.
• W2007171636 hasConcept C33923547 @default.
• W2007171636 hasConcept C41008148 @default.
• W2007171636 hasConcept C78726541 @default.
• W2007171636 hasConcept C80444323 @default.
• W2007171636 hasConcept C94625758 @default.
• W2007171636 hasConceptScore W2007171636C108710211 @default.
• W2007171636 hasConceptScore W2007171636C111472728 @default.

• next