Switch to: Citations

Add references

You must login to add references.
  1. AEON–An approach to the automatic evaluation of ontologies.Johanna Völker, Denny Vrandečić, York Sure & Andreas Hotho - 2008 - Applied ontology 3 (1):41-62.
  • The NeOn Methodology framework: A scenario-based methodology for ontology development.Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez & Mariano Fernández-López - 2015 - Applied ontology 10 (2):107-145.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • An ontology engineering methodology for DOGMA.Peter Spyns, Yan Tang & Robert Meersman - 2008 - Applied ontology 3 (1):13-39.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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   3 citations  
  • Formal Ontology in Information Systems.Nicola Guarino (ed.) - 1998 - IOS Press.
  • Consiglio nazionale delle ricerc.N. Guarino & I. Roma - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  • Logical operators for ontological modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations