| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Selja Seppälä, Alan Ruttenberg, Barry Smith 0001 |
The Functions of Definitions in Ontologies.  |
FOIS  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Masolo, Daniele Porello |
Understanding Predication in Conceptual Spaces. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena Wood |
Considering Collectives: Roles, Members and Goals. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lydia Silva Muñoz, Michael Grüninger |
Mapping and Verification of the Time Ontology in SUMO. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Garbacz |
A Formal Ontology of Texts. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mattia Fumagalli |
Concepts as (Recognition) Abilities. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Bennett, Heshan Du, Lucía Gómez Álvarez, Anthony G. Cohn 0001 |
Defining Relations: A General Incremental Approach with Spatial Temporal Case Studies. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Borlini Duarte, Vítor E. Silva Souza, André Luiz de Castro Leal, Ricardo de Almeida Falbo, Giancarlo Guizzardi, Renata S. S. Guizzardi |
Towards an Ontology of Requirements at Runtime. |
FOIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberta Ferrario, Werner Kuhn (eds.) |
Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016, Annecy, France, July 6-9, 2016 |
FOIS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stefano Borgo, Daniele Porello, Nicolas Troquard |
Logical Operators for Ontological Modeling. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard |
A formal theory for conceptualizing artefacts and tool manipulations. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marion Haemmerli, Achille C. Varzi |
Adding Convexity to Mereotopology. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos |
An Ontological Interpretation of Non-Functional Requirements. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André Luís Andrade Menolli, Helena Sofia Pinto, Sheila S. Reinehr, Andreia Malucelli |
Unit of Organizational Learning Ontology based on LOM Standard and IMS Learning Design. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Bennett, Claudia Cialone |
Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain). |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos |
Towards an Ontology of Software: a Requirements Engineering Perspective. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Schäfermeier, Adrian Paschke |
Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Bense |
The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabiano Borges Ruy, Ricardo de Almeida Falbo, Monalessa Perini Barcellos, Giancarlo Guizzardi |
An Ontological Analysis of the ISO/IEC 24744 Metamodel. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Barton, Arnaud Rosier, Anita Burgun, Jean-François Ethier |
The Cardiovascular Disease Ontology. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane |
Ontology-based Data Management for the Italian Public Debt. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinay K. Chaudhri, Daniel Elenius, Sue Hinojoza, Michael A. Wessel |
KB_Bio_101: Content and Challenges. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan L. G. Dietz, David Aveiro, João Pombinho, Jan A. P. Hoogervorst |
An Ontology for the τ-theory of Enterprise Engineering. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Asher |
What have we learned in formal semantics about ontology? |
FOIS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Paul Brandt, Twan Basten, Sander Stuijk |
ContoExam: an ontology on context-aware examinations. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Grüninger, Torsten Hahmann, Megan Katsumi, Carmen Chui |
A Sideways Look at Upper Ontologies. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Hahmann, Boyan Brodaric |
Voids and material constitution across physical granularities. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans |
Conceptual Models of Energy Transfer and Regulation. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Chui, Michael Grüninger |
Mathematical Foundations for Participation Ontologies. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Guarino |
Ontological analysis and conceptual modeling: achievements and perspectives. |
FOIS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alessander Botti Benevides, Claudio Masolo |
States, Events, and Truth-makers. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Selja Seppälä, Barry Smith 0001, Werner Ceusters |
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Porello, Emanuele Bottazzi, Roberta Ferrario |
The Ontology of Group Agency. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FOIS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Rospocher |
An ontology for personalized environmental decision support. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schulz 0001, Catalina Martínez-Costa, Daniel Karlsson, Ronald Cornet, Mathias Brochhausen, Alan L. Rector |
An Ontological Analysis of Reference in Health Record Statements. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurona Gerber, Connal Eardley, Nishal Morar |
An Ontology-based Taxonomic Key for Afrotropical Bees. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack |
Towards Ontological Support for Principle Solutions in Mechanical Engineering. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Hahmann, Boyan Brodaric, Michael Grüninger |
Interdependence among material objects and voids. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Jordan, Matt Selway, Wolfgang Mayer, Georg Grossmann, Markus Stumptner |
An Ontological Core for Conformance Checking in the Engineering Life-cycle. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Barton, Robert J. Rovetto, Riichiro Mizoguchi |
Newtonian Forces and Causation: A Dispositional Account. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Sarjant, Catherine Legg, Matt Stannett, Duncan Willcock |
Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Rospocher, Chiara Ghidini, Luciano Serafini |
An ontology for the Business Process Modelling Notation. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Desiree Daniel |
Resilience as a Disposition. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kit Fine |
A New Theory of Vagueness. |
FOIS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Stefano Borgo, Riichiro Mizoguchi |
A First-order Formalization of Event, Object, Process and Role in YAMATO. |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clarisse Sieckenius de Souza |
Is it time to talk about first-person meanings in computer programs? |
FOIS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Emilio M. Sanfilippo, Stefano Borgo, Claudio Masolo |
Events and Activities: Is there an Ontology behind BPMN? |
FOIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Bottazzi, Roberta Ferrario, Claudio Masolo |
The mysterious appearance of objects. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Denaux, Dhavalkumar Thakker, Vania Dimitrova, Anthony G. Cohn 0001 |
Interactive Semantic Feedback for Intuitive Ontology Authoring. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Ulrich Krieger |
A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Garbacz |
Does your ontology make a (sense) difference? |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark H. Linehan, Ed Barkmeyer, Stan Hendryx |
The Date-Time Vocabulary. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Barton, Anita Burgun, Régis Duvauferrier |
Probability assignments to dispositions in ontologies. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony Galton |
States, Processes and Events, and the Ontology of Causal Relations. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Del Frate |
Preliminaries to a formal ontology of failure of engineering artifacts. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Hahmann, Boyan Brodaric |
The Void in Hydro Ontology. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alda Maria Ferreira Rosa da Silva, Maria Cláudia Cavalcanti |
Towards Making Explicit the Ontological Commitment of a Database Schema on the Geological Domain. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia M. Tovena |
Elements for a linguistic ontology in the verbal domain. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahim T. Imam, Stephen D. Larson, Anita E. Bandrowski, Jeffrey S. Grethe, Amarnath Gupta, Maryann E. Martone |
Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Riichiro Mizoguchi, Yoshinobu Kitamura, Stefano Borgo |
Towards A Unified Definition of Function. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Christoph Lange 0002, Oliver Kutz |
Three Semantics for the Core of the Distributed Ontology Language. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Niloofar Montazeri, Jerry R. Hobbs |
Axiomatizing Change-of-State Words. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gökhan Coskun, Mario Rothe, Adrian Paschke |
Ontology Content "At A Glance". |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Seyed |
Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types - Towards a Method for Evaluating Ontologies. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Fazel-Zarandi, Mark S. Fox |
An Ontology for Skill and Competency Management. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Frank Loebe, Heinrich Herre |
Ontology of Time in GFO. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maureen Donnelly, Giancarlo Guizzardi (eds.) |
Formal Ontology in Information Systems - Proceedings of the Seventh International Conference, FOIS 2012, Gray, Austria, July 24-27, 2012 |
FOIS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Daniel Kless, Ludger Jansen, Jutta Lindenthal, Jens Wiebensohn |
A method for re-engineering a thesaurus into an ontology. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry R. Hobbs, Alicia Sagae, Suzanne Wertheim |
Toward a Commonsense Theory of Microsociology: Interpersonal Relationships. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alok Dhamanaskar, Michael E. Cotterell, Jie Zheng 0001, Jessica C. Kissinger, Christian J. Stoeckert Jr., John A. Miller 0001 |
Suggestions for Galaxy Workflow Design Using Semantically Annotated Services. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Seyed |
A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahar Aameri |
Using Partial Automorphisms to Design Process Ontologies. |
FOIS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Seon Gyu Park, Sungin Lee, Myeng-Ki Kim, Hong-Gee Kim |
The Use of Ontology in Dental Restorative Treatment Decision Support System. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinobu Kitamura, Riichiro Mizoguchi |
Characterizing Functions based on Ontological Models from an Engineering Point of View. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin R. Batchelor, Janna Hastings, Christoph Steinbeck |
Ontological dependence, dispositions and institutional reality in chemistry. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Ortmann, Werner Kuhn |
Affordances as Qualities. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan L. Rector |
Knowledge Driven Software and "Fractal Tailoring": Ontologies in development environments for clinical systems. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Vignolo |
Towards an Ontology of Products. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Schneider |
Revisiting the Ontological Square. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chimezie Ogbuji, Sivaram Arabandi, Songmao Zhang, Guo-Qiang Zhang 0001 |
Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atalay Özgövde, Michael Grüninger |
Foundational Process Relations in Bio-Ontologies. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Guizzardi |
On the Representation of Quantities and their Parts in Conceptual Modeling. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Goldfain, Barry Smith 0001, Lindsay G. Cowell |
Dispositions and the Infectious Disease Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janna Hastings, Colin R. Batchelor, Christoph Steinbeck, Stefan Schulz 0001 |
What are chemical structures and their relations? |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry R. Hobbs, Andrew S. Gordon |
Goals in a Formal Theory of Commonsense Psychology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomir Stanchev, Grant E. Weddell |
On Building an Index Advisor for Semantic Web Queries. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Monalessa Perini Barcellos, Ricardo de Almeida Falbo, Rodrigo Dal Moro |
A Well-Founded Software Measurement Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Dumontier, Robert Hoehndorf |
Realism for scientific ontologies. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Benn |
Using the cDnS ontology as upper-level for a Scholarly Debate Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Bateman |
Ontological diversity: the case from space. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak |
Towards a formal ontology for history of church administration. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Bennett |
Foundations for an Ontology of Environment and Habitat. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bénédicte Batrancourt, Michel Dojat, Bernard Gibaud, Gilles Kassel |
A core ontology of instruments used for neurological, behavioral and cognitive assessments. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Grüninger, Torsten Hahmann, Ali Hashemi 0001, Darren Ong |
Ontology Verification with Repositories. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Masolo |
Founding properties on measurement. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc N. Nguyen, Joseph B. Kopena, Boon Thau Loo, William C. Regli |
Ontologies for Distributed Command and Control Messaging. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Jeffry Pelletier |
Ontological Lessons from the Semantics of Mass and Count Nouns. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xing Tan 0002 |
SCOPE: A Situation Calculus Ontology of Petri Nets. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Towards Ontological Correctness of Part-whole Relations with Dependent Types. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license