|
6
|
Process Ontologies
– M Gruninger
- 2009
|
|
20
|
The Information Flow Foundation for Conceptual Knowledge Organization. In: Dynamism and Stability in Knowledge Organization
– Robert E Kent
- 2000
|
|
46
|
RCC: a calculus for region based qualitative spatial reasoning
– A G Cohn, B Bennett, J M Gooday, N M Gotts
- 1997
|
|
18
|
Automatic Partitioning of OWL Ontologies Using E-Connections
– Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
- 2005
|
|
2
|
Towards an ontology of agency and action: From STIT to OntoSTIT+
– Nicolas Troquard, Robert Trypuz, Laure Vieu
|
|
3
|
Ontology Integration Using E-connections
– B Grau, B Parsia, E Sirin
- 2009
|
|
3
|
Stonian p-ortholattices: A new approach to the mereotopology RT0
– Torsten Hahmann, Michael Winter, Michael Gruninger
- 2009
|
|
1
|
Definability and
– M Gruninger
- 2009
|
|
1
|
Axioms for Lattices and Boolean Algebras. World Scientific
– R Padmanabhan, S Rudeanu
- 2008
|
|
93
|
L.: Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology
– Nicholas Asher
|
|
42
|
Little Theories
– William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- 1992
|
|
7
|
Lattices and Ordered Algebraic Structures
– T S Blyth
- 2005
|
|
2
|
A Mathematical Introduction to Logic,Academic
– H Enderton
- 1972
|
|
11
|
A formal foundation for process modeling
– Christopher Menzel, Michael Grüninger
- 2001
|
|
13
|
An Infrastructure for Intertheory Reasoning
– William M. Farmer
- 2000
|
|
38
|
Boolean Connection Algebras: A New Approach to the Region-Connection Calculus
– J. G. Stell
- 1999
|
|
30
|
Relation algebras in qualitative spatial reasoning
– Ivo Düntsch, Hui Wang, Stephen Mccloskey
- 1999
|
|
448
|
Model Theory
– Wilfrid Hodges
- 2000
|
|
50
|
Model Theory: An Introduction
– D Marker
- 2002
|
