8 found
Order:
  1.  24
    Formal Ontology in Information Systems.Nathalie Aussenac-Gilles, Antony P. Galton, Torsten Hahmann & Maria M. Hedblom - unknown
    FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from 18 to 20 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  20
    The FOUnt ontologies for quantities, units, and the physical world.Bahar Aameri, Carmen Chui, Michael Grüninger, Torsten Hahmann & Yi Ru - 2020 - Applied ontology 15 (3):313-359.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  40
    Internet of things: Toward smart networked systems and societies.Mark Underwood, Michael Gruninger, Leo Obrst, Ken Baclawski, Mike Bennett, Gary Berg-Cross, Torsten Hahmann & Ram Sriram - 2015 - Applied ontology 10 (3-4):355-365.
  4.  44
    Modular first-order ontologies via repositories.Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong & Atalay Ozgovde - 2012 - Applied ontology 7 (2):169-209.
  5.  22
    CODI: A multidimensional theory of mereotopology with closure operations.Torsten Hahmann - 2020 - Applied ontology 15 (3):251-311.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  21
    Water features and their parts.Boyan Brodaric, Torsten Hahmann & Michael Gruninger - 2019 - Applied ontology 14 (1):1-42.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  10
    Stonian p-ortholattices: A new approach to the mereotopology RT 0.Torsten Hahmann, Michael Winter & Michael Gruninger - 2009 - Artificial Intelligence 173 (15):1424-1440.
  8.  30
    Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.
    Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies called unique closure mereotopologies whose models always have orthocomplemented contact algebras , an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact algebras (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark