16 found
Order:
  1.  13
    Choosing Ontologies for Reuse.Megan Katsumi & Michael Grüninger - 2017 - Applied Ontology 12 (3-4):195-221.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  18
    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.
  3.  80
    Creating the Ontologists of the Future.Fabian Neuhaus, Elizabeth Florescu, Antony Galton, Michael Gruninger, Nicola Guarino, Leo Obrst, Arturo Sanchez, Amanda Vizedom, Peter Yim & Barry Smith - 2011 - Applied Ontology 6 (1):91-98.
    The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. The Process Specification Language: Theory and Applications.Michael Grüninger & Christopher Menzel - 2003 - AI Magazine 24 (3):63-74.
    The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business process reengineering. We given an overview of the theories with the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  5.  36
    Modular First-Order Ontologies Via Repositories.Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong & Atalay Ozgovde - 2012 - Applied Ontology 7 (2):169-209.
  6.  5
    Ontology for Big Systems: The Ontology Summit 2012 Communiqué.Todd Schneider, Ali Hashemi, Mike Bennett, Mary Brady, Cory Casanave, Henson Graves, Michael Gruninger, Nicola Guarino, Anatoly Levenchuk & Ernie Lucier - 2012 - Applied Ontology 7 (3):357-371.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  36
    Ontology Summit 2007–Ontology, Taxonomy, Folksonomy: Understanding the Distinctions.Michael Gruninger, Olivier Bodenreider, Frank Olken, Leo Obrst & Peter Yim - 2008 - Applied Ontology 3 (3):191-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  2
    Towards Ontology Evaluation Across the Life Cycle.Fabian Neuhaus, Amanda Vizedom, Ken Baclawski, Mike Bennett, Mike Dean, Michael Denny, Michael Grüninger, Ali Hashemi, Terry Longstreth, Leo Obrst, Steve Ray, Ram Sriram, Todd Schneider, Marcela Vegetti, Matthew West & Peter Yim - 2013 - Applied Ontology 8 (3):179-194.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  13
    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  
  10.  1
    Location Ontologies Based on Mereotopological Pluralism.Bahar Aameri & Michael Grüninger - 2020 - Applied Ontology 15 (2):135-184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Making the Case for Ontology (Vol 6, Pg 377, 2011).Michael Uschold, John Bateman, Mike Bennett, Rex Brooks, Mills Davis, Alden Dima, Michael Gruninger, Nicola Guarino, Ernst Lucier & Leo Obrst - 2012 - Applied Ontology 7 (3):373 - 373.
     
    Export citation  
     
    Bookmark  
  12.  15
    The Metatheory of Ontology Reuse.Megan Katsumi & Michael Grüninger - 2018 - Applied Ontology 13 (3):225-254.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. A Formal Foundation for Process Modeling.Christopher Menzel & Michael Grüninger - 2001 - In C. Welty B. Smith (ed.), Formal Ontology in Information Systems (FOIS). ACM Press.
    Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language for describing these (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  12
    Editorial Announcement: Editorial Board Changes.Roberta Ferrario & Michael Grüninger - 2018 - Applied Ontology 13 (1):1-1.
    This is a short editorial, maybe introducing editorial board members' changes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15. Towards Ontology Evaluation Across the Life cycleThe Communiqué of the Ontology Summit 2013.Fabian Neuhaus, Amanda Vizedom, Ken Baclawski, Mike Bennett, Mike Dean, Michael Denny, Michael Grüninger, Ali Hashemi, Terry Longstreth & Leo Obrst - forthcoming - Applied Ontology.
     
    Export citation  
     
    Bookmark  
  16.  16
    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 (4 more)  
     
    Export citation  
     
    Bookmark