|
Frontiers in Artificial Intelligence and Applications
Volume 150, 2006
Formal Ontology in Information Systems
- Proceedings of the Fourth International Conference (FOIS 2006)
Edited by Brandon Bennett, Christiane Fellbaum
| 978-1-58603-685-0 (print) |
| 978-1-60750-211-1 (online) |
|
|
|
|
|
Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies
|
|
3 |
| Doug Lenat
|
|
|
|
On What Goes On: The Ontology of Processes and Events
|
|
4 - 11 |
| Antony Galton
|
|
|
|
1. Foundations and Methodology
|
|
|
|
|
|
|
|
Against Idiosyncrasy in Ontology Development
|
|
15 - 26 |
| Barry Smith
|
|
|
|
Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese?
|
|
27 - 38 |
| Andrew U. Frank
|
|
|
|
Nontological Engineering
|
|
39 - 50 |
| Wacław Kuśnierczyk
|
|
|
|
Towards Foundational Semantics - Ontological Semantics Revisited
|
|
51 - 62 |
| Philipp Cimiano, Uwe Reyle
|
|
|
|
A theory of granular parthood based on qualitative cardinality and size measures
|
|
65 - 76 |
| Thomas Bittner, Maureen Donnelly
|
|
|
|
Spatial Dimensionality as a Classification Criterion for Qualities
|
|
77 - 88 |
| Florian Probst, Martin Espeter
|
|
|
|
The Image as Spatial Region: Location and Adjacency within the Radiological Image
|
|
89 - 100 |
| James M. Fielding, Dirk Marwede
|
|
|
|
3. Ontology in Biology and Biochemistry
|
|
|
|
|
|
|
|
From GENIA to BIOTOP - Towards a Top-Level Ontology for Biology
|
|
103 - 114 |
| Stefan Schulz, Elena Beisswanger, Udo Hahn, Joachim Wermter, Anand Kumar, Holger Stenzhorn
|
|
|
|
Modular Ontology Design Using Canonical Building Blocks in the Biochemistry Domain
|
|
115 - 127 |
| Christopher J. Thomas, Amit P. Sheth, William S. York
|
|
|
|
What is a Biological Function?
|
|
128 - 140 |
| Patricia Diaz-Herrera
|
|
|
|
Simultaneous Events and the “Once-Only” Effect
|
|
143 - 154 |
| Haythem O. Ismail
|
|
|
|
Temporal Qualification and Change with First–Order Binary Predicates
|
|
155 - 166 |
| Pierre Grenon
|
|
|
|
The Instrumental Stit A Study of Action and Instrument
|
|
167 - 178 |
| Pawel Garbacz
|
|
|
|
Towards an ontology of agency and action From STIT to OntoSTIT+
|
|
179 - 190 |
| Nicolas Troquard, Robert Trypuz, Laure Vieu
|
|
|
|
5. General Ontological Issues
|
|
|
|
|
|
|
|
A Blueprint for a Calculator of Intensions
|
|
193 - 203 |
| Alik Pelman
|
|
|
|
A Dynamic Theory of Ontology
|
|
204 - 213 |
| John F. Sowa
|
|
|
|
Behavior of a Technical Artifact: An Ontological Perspective in Engineering
|
|
214 - 225 |
| Stefano Borgo, Massimiliano Carrara, Pieter E. Vermaas, Pawel Garbacz
|
|
|
|
A Reusable Ontology for Fluents in OWL
|
|
226 - 236 |
| Chris Welty, Richard Fikes
|
|
|
|
PR-OWL: A Framework for Probabilistic Ontologies
|
|
237 - 249 |
| Paulo C.G. Costa, Kathryn B. Laskey
|
|
|
|
Qualities in Possible Worlds
|
|
250 - 261 |
| Stefano Borgo, Claudio Masolo
|
|
|
|
6. Linking and Merging Ontologies
|
|
|
|
|
|
|
|
An Algebra for Composing Ontologies
|
|
265 - 276 |
| Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann
|
|
|
|
Formalizing Ontology Alignment and its Operations with Category Theory
|
|
277 - 288 |
| Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
|
|
|
|
Linking FrameNet to the Suggested Upper Merged Ontology
|
|
289 - 300 |
| Jan Scheffczyk, Adam Pease, Michael Ellsworth
|
|
|
|
Linking the Gene Ontology with Social Ontology: A Prolegomena to the Ontology of Personhood
|
|
301 - 308 |
| David R. Koepsell
|
|
|
|
Principles for the Development of Upper Ontologies in Higher-level Information Fusion Applications
|
|
309 - 320 |
| Eric Little, Lowell Vizenor
|
|
|
|
Towards A Realism-Based Metric for Quality Assurance in Ontology Matching
|
|
321 - 332 |
| Werner Ceusters
|
|
|
|
7. Maintaining and Exploiting Ontologies
|
|
|
|
|
|
|
|
Approximation of Ontologies in CASL
|
|
335 - 346 |
| Klaus Lüttich
|
|
|
|
OntOWLClean: Cleaning OWL ontologies with OWL
|
|
347 - 359 |
| Chris Welty
|
|
|
|
Using Selectional Restrictions to Query an OWL Ontology
|
|
360 - 371 |
| Leila Kosseim, Reda Siblini, Christopher J.O. Baker, Sabine Bergler
|
|
|
First Previous 1 Next Last
|
|
|
|
To order a single article, please navigate to the article first by clicking 'abstract' and then click
'Add to Cart'
|
|