Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman |
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gintare Grigonyte, Mathias Brochhausen, Luis Martín, Manolis Tsiknakis, Johann Haller |
Evaluating Ontologies with NLP-Based Terminologies - A Case Study on ACGT and Its Master Ontology. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Simon Scheider, Florian Probst, Krzysztof Janowicz |
Constructing Bodies and their Qualities from Observations. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anusuriya Devaraju, Werner Kuhn |
A Process-Centric Ontological Approach for Integrating Geo-Sensor Data. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antony Galton, Riichiro Mizoguchi (eds.) |
Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010 |
FOIS |
2010 |
DBLP BibTeX RDF |
|
1 | Haythem O. Ismail |
On the Syntax and Semantics of Effect Axioms. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Werner Ceusters, Maria Capolupo, Georges De Moor, Jos Devlies |
Introducing Realist Ontology for the Representation of Adverse Events. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luc Schneider |
The Ontological Square and its Logic. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laure Vieu, Stefano Borgo, Claudio Masolo |
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zena Wood, Antony Galton |
A New Classification of Collectives. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pinar Wennerberg, Sonja Zillner, Manuel Möller, Paul Buitelaar, Michael Sintek |
KEMM: A Knowledge Engineering Methodology in the Medical Domain. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Ghidini, Luciano Serafini, Sergio Tessaris |
Complexity of Reasoning With Expressive Ontology Mappings. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Boyan Brodaric, Femke Reitsma, Yi Qiang |
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christiana Panayiotou, Brandon Bennett |
Cognitive Context and Arguments from Ontologies for Learning. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carola Eschenbach, Michael Grüninger (eds.) |
Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008 |
FOIS |
2008 |
DBLP BibTeX RDF |
|
1 | Barry Smith 0001 |
Ontology (Science). |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Uschold |
Ontology-Driven Information Systems: Past, Present and Future. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Janowicz, Patrick Maué, Marc Wilkes, Sven Schade, Franca Scherer, Matthias Braun 0002, Sören Dupke, Werner Kuhn |
Similarity as a Quality Indicator in Ontology Engineering. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rokia Bendaoud, Amedeo Napoli, Yannick Toussaint |
A proposal for an Interactive Ontology Design Process based on Formal Concept Analysis. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Colin R. Batchelor |
An Upper-Level Ontology for Chemistry. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank Loebe, Heinrich Herre |
Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Özgür L. Özçep |
Towards Principles for Ontology Integration. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joana Hois, Oliver Kutz |
Counterparts in Language and Space - Similarity and [Sscr ]-Connection. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mariano Fernández-López, Asunción Gómez-Pérez, Mari Carmen Suárez-Figueroa |
Selecting and Customizing a Mereology Ontology for its Reuse in a Pharmaceutical Product Ontology. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Wandelt, Ralf Möller 0001 |
Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Bennett, David Mallenby, Allan Third |
An Ontology for Grounding Vague Geographic Terms. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gaihua Fu, Anthony G. Cohn 0001 |
Utility Ontology Development with Formal Concept Analysis. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Gaio |
Granular Models for Vague Predicates. |
FOIS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Waclaw Kusnierczyk |
Nontological Engineering. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Alik Pelman |
A Blueprint for a Calculator of Intensions. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Jan Scheffczyk, Adam Pease, Michael Ellsworth |
Linking FrameNet to the Suggested Upper Merged Ontology. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Paulo Cesar G. da Costa, Kathryn B. Laskey |
PR-OWL: A Framework for Probabilistic Ontologies. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Eric Little, Lowell Vizenor |
Principles for the Development of Upper Ontologies in Higher-level Information Fusion Applications. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Stefano Borgo, Massimiliano Carrara, Pieter E. Vermaas, Pawel Garbacz |
Behavior of a Technical Artifact: An Ontological Perspective in Engineering. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann |
An Algebra for Composing Ontologies. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Philipp Cimiano, Uwe Reyle |
Towards Foundational Semantics - Ontological Semantics Revisited. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Douglas B. Lenat |
Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Leila Kosseim, Reda Siblini, Christopher J. O. Baker, Sabine Bergler |
Using Selectional Restrictions to Query an OWL Ontology. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Haythem O. Ismail |
Simultaneous Events and the "Once-Only" Effect. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Klaus Lüttich |
Approximation of Ontologies in CASL. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler |
Formalizing Ontology Alignment and its Operations with Category Theory. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Florian Probst, Martin Espeter |
Spatial Dimensionality as a Classification Criterion for Qualities. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Antony Galton |
On What Goes On: The Ontology of Processes and Events. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | David R. Koepsell |
Linking the Gene Ontology with Social Ontology: A Prolegomena to the Ontology of Personhood. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | John F. Sowa |
A Dynamic Theory of Ontology. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Nicolas Troquard, Robert Trypuz, Laure Vieu |
Towards an ontology of agency and action From STIT to OntoSTIT+. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Christopher J. Thomas, Amit P. Sheth, William S. York |
Modular Ontology Design Using Canonical Building Blocks in the Biochemistry Domain. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Andrew U. Frank |
Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese? |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Christopher A. Welty |
OntOWLClean: Cleaning OWL ontologies with OWL. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Werner Ceusters |
Towards A Realism-Based Metric for Quality Assurance in Ontology Matching. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | James Matthew Fielding, Dirk Marwede |
The Image as Spatial Region: Location and Adjacency within the Radiological Image. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Pawel Garbacz |
The Instrumental Stit A Study of Action and Instrument. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Barry Smith 0001 |
Against Idiosyncrasy in Ontology Development. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Patricia Diaz-Herrera |
What is a Biological Function? |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Christopher A. Welty, Richard Fikes |
A Reusable Ontology for Fluents in OWL. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Stefano Borgo, Claudio Masolo |
Qualities in Possible Worlds. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Brandon Bennett, Christiane Fellbaum (eds.) |
Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, FOIS 2006, Baltimore, Maryland, USA, November 9-11, 2006 |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Thomas Bittner, Maureen Donnelly |
A theory of granular parthood based on qualitative cardinality and size measures. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Stefan Schulz 0001, Elena Beisswanger, Udo Hahn, Joachim Wermter, Anand Kumar 0005, Holger Stenzhorn |
From GENIA to BIOTOP - Towards a Top-Level Ontology for Biology. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | Pierre Grenon |
Temporal Qualification and Change with First-Order Binary Predicates. |
FOIS |
2006 |
DBLP BibTeX RDF |
|
1 | E. J. Lowe |
Opening plenary talk: Recent advances in metaphysics. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Leo Obrst, Robert E. Wray, Howard Liu |
Ontological engineering for B2B E-commerce. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
business-to-business electronic commerce, ontological engineering, ontology mapping, ontology management, B2B e-commerce, ontology merging |
1 | Ian Niles, Adam Pease |
Towards a standard upper ontology. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
knowledge interchange format, ontologies |
1 | Brandon Bennett |
Space, time, matter and things. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
matter, things, ontology, time, logic, space |
1 | John Howse, Fernando Molina, John Taylor 0001, Sun-Joo Shin |
Type-syntax and token-syntax in diagrammatic systems. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
concrete and abstract syntax, formal methods, software specification, diagrammatic reasoning, visual formalisms |
1 | Carola Eschenbach |
Viewing composition tables as axiomatic systems. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
axiomatic system, composition table, ontology, constraint propagation, terminology |
1 | Maureen Donnelly |
Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
spatial representation and reasoning, measurement, granularity, common-sense reasoning |
1 | Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett |
A note on proximity spaces and connection based mereology. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
connection relation, pointless geometry, proximity space, mereology |
1 | Barry Smith 0001, Christopher A. Welty |
FOIS introduction: Ontology - towards a new synthesis. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Menzel, Michael Grüninger |
A formal foundation for process modeling. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
process specification language, process modeling, PSL, formal ontology |
1 | Anita Burgun, Olivier Bodenreider |
Aspects of the taxonomic relation in the biomedical domain. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
biomedical domain, taxonomic relation, unified medical language system, ontology, UML |
1 | |
2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Anthony G. Cohn 0001 |
Formalising bio-spatial knowledge. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontology, logic, space, DNA, qualitative spatial reasoning, molecular biology |
1 | David D. McDonald |
The view from the trenches: issues in the ontology of restricted domains. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
financial reports, type-raising, information extraction, ontology design |
1 | Atanas Kiryakov, Kiril Ivanov Simov, Marin Dimitrov |
OntoMap: portal for upper-level ontologies. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontology, semantic web, knowledge representation, mapping |
1 | Gloria L. Zúñiga |
Ontology: its transformation from philosophy to information systems. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontology of information systems, ontology, information systems, representation, philosophy, description |
1 | Stefan Schulz 0001, Udo Hahn |
Mereotopological reasoning about parts and (w)holes in bio-ontologies. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bittner, Barry Smith 0001 |
Granular partitions and vagueness. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
granular partitions, ontology, semantics, vagueness |
1 | Paola Velardi, Paolo Fabriani, Michele Missikoff |
Using text processing techniques to automatically enrich a domain ontology. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Valentina A. M. Tamma, Trevor J. M. Bench-Capon |
An enriched knowledge model for formal ontological analysis. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontologies, conceptual models, knowledge sharing, ontology modeling |
1 | Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos |
Information systems as social structures. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
i* framework, tropos methodology, organizational modeling |
1 | Farshad Hakimpour, Andreas Geppert |
Resolving semantic heterogeneity in schema integration. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
database integration, semantic heterogeneity, formal ontologies |
1 | Lawrence W. Barsalou |
The human conceptual system. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sergei Nirenburg, Victor Raskin |
Ontological semantics, formal ontology, and ambiguity. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jesualdo Tomás Fernández-Breis, Dagoberto Castellanos Nieves, Rafael Valencia-García, Pedro José Vivancos Vicente, Rodrigo Martínez-Béjar, Manuel De las Heras-González |
Towards scott domains-based topological ontology models. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontology, topology |
1 | Michael Johnson, Christopher N. G. Dampney |
On category theory as a (meta) ontology for information systems research. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontology, information systems, data modeling, category theory, view update, interoperating systems |
1 | Aldo Gangemi, Nicola Guarino, Alessandro Oltramari |
Conceptual analysis of lexical taxonomies: thecase of WordNet top-level. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
top-level, ontology, taxonomies, WordNet |
1 | Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg |
Preventing existence. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
knowledge representation, existence, natural language semantics |
1 | Erwan Breton, Jean Bézivin |
Towards an understanding of model executability. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
process meta-models, models, meta-models, MOF, model execution, action semantics |
1 | Massimiliano Carrara, Pierdaniele Giaretta |
Identity criteria and sortal concepts. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
conceptualisation, identity criteria, sortal concepts, ontologies, knowledge bases |
1 | Johanna Seibt |
Formal process ontology. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
count term, mass term, stuff, substance, thing, ontology, process, event, emergence, aspect, action, transitivity, category, individual, mereology, noun, verb |
1 | Aaron N. Kaplan |
Towards a consistent logical framework for ontological analysis. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
ontology, taxonomy |
1 | Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith 0001 |
GOL: toward an axiomatized upper-level ontology. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
|