-
1
-
-
0001930291
-
A spatial logic based on regions and connection
-
D. Randell, Z. Cui, and A. Cohn, "A spatial logic based on regions and connection," in Principles of knowledge representation and reasoning: Proceedings of the 4th International Conference (KR'94), Bonn, Germany, May 1994, pp. 165-176.
-
Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR'94), Bonn, Germany, May 1994
, pp. 165-176
-
-
Randell, D.1
Cui, Z.2
Cohn, A.3
-
2
-
-
79951577591
-
Ontology-based context representation and reasoning for object tracking and scene interpretation in video
-
J. Gómez-Romero, M. Patricio, J. García, and J. Molina, "Ontology-based context representation and reasoning for object tracking and scene interpretation in video," Expert Systems with Applications, vol. 38, no. 6, pp. 7494-7510, 2011.
-
(2011)
Expert Systems with Applications
, vol.38
, Issue.6
, pp. 7494-7510
-
-
Gómez-Romero, J.1
Patricio, M.2
García, J.3
Molina, J.4
-
3
-
-
6344261754
-
Revisiting the JDL data fusion model II
-
J. Llinas, C. Bowman, G. Rogova, A. Steinberg, E. Waltz, and F. White, "Revisiting the JDL data fusion model II," in Proceedings of the 7th International Conference on Information Fusion (Fusion2004), Stockholm, Sweden, July 2004, pp. 1218-1230.
-
Proceedings of the 7th International Conference on Information Fusion (Fusion2004), Stockholm, Sweden, July 2004
, pp. 1218-1230
-
-
Llinas, J.1
Bowman, C.2
Rogova, G.3
Steinberg, A.4
Waltz, E.5
White, F.6
-
4
-
-
84972508690
-
A calculus of individuals based on 'connection'
-
B. Clarke, "A calculus of individuals based on 'connection'," Notre Dame Journal of Formal Logic, vol. 22, no. 3, pp. 204-218, 1981.
-
(1981)
Notre Dame Journal of Formal Logic
, vol.22
, Issue.3
, pp. 204-218
-
-
Clarke, B.1
-
5
-
-
84972514025
-
Individuals and points
-
-, "Individuals and points," Notre Dame Journal of Formal Logic, vol. 26, no. 1, pp. 61-75, 1985.
-
(1985)
Notre Dame Journal of Formal Logic
, vol.26
, Issue.1
, pp. 61-75
-
-
Clarke, B.1
-
6
-
-
0003383899
-
Spatial reasoning with propositional logics
-
B. Bennett, "Spatial reasoning with propositional logics," in Principles of knowledge representation and reasoning: Proceedings of the 4th International Conference (KR'94), Bonn, Germany, May 1994, pp. 51-62.
-
Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR'94), Bonn, Germany, May 1994
, pp. 51-62
-
-
Bennett, B.1
-
7
-
-
85030846174
-
Reasoning about binary topological relations
-
M. Egenhofer, "Reasoning about binary topological relations," in Proceedings of the Second International Symposium on Advances in Spatial Databases (SSD'91), Zürich, Switzerland, August 1991, pp. 143-160.
-
Proceedings of the Second International Symposium on Advances in Spatial Databases (SSD'91), Zürich, Switzerland, August 1991
, pp. 143-160
-
-
Egenhofer, M.1
-
8
-
-
84863409763
-
Representing qualitative spatial information in OWL-DL
-
Y. Katz and B. Grau, "Representing qualitative spatial information in OWL-DL," in Proceedings of OWL: Experiences and Directions (OWLED 2005), Galway, Ireland, November 2005.
-
Proceedings of OWL: Experiences and Directions (OWLED 2005), Galway, Ireland, November 2005
-
-
Katz, Y.1
Grau, B.2
-
9
-
-
36849090566
-
Description logics as ontology languages for the semantic web
-
F. Baader, I. Horrocks, and U. Sattler, "Description logics as ontology languages for the semantic web," Mechanizing Mathematical Reasoning, pp. 228-248, 2005.
-
(2005)
Mechanizing Mathematical Reasoning
, pp. 228-248
-
-
Baader, F.1
Horrocks, I.2
Sattler, U.3
-
10
-
-
80052702485
-
PelletSpatial: A hybrid RCC-8 and RDF/OWL reasoning and query engine
-
M. Stocker and E. Sirin, "PelletSpatial: A hybrid RCC-8 and RDF/OWL reasoning and query engine," in Proceedings of OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, USA, October 2009, pp. 2-31.
-
Proceedings of OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, USA, October 2009
, pp. 2-31
-
-
Stocker, M.1
Sirin, E.2
-
11
-
-
84860548736
-
The even more irresistible SROIQ
-
I. Horrocks, O. Kutz, and U. Sattler, "The even more irresistible SROIQ," in Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), Lake District, UK, June 2006, pp. 57-67.
-
Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), Lake District, UK, June 2006
, pp. 57-67
-
-
Horrocks, I.1
Kutz, O.2
Sattler, U.3
-
13
-
-
84879636622
-
Towards spatial reasoning in the semantic web: A hybrid knowledge representation system architecture
-
-, "Towards spatial reasoning in the semantic web: A hybrid knowledge representation system architecture," The European Information Society, pp. 349-364, 2007.
-
(2007)
The European Information Society
, pp. 349-364
-
-
Grütter, R.1
Bauer-Messmer, B.2
-
14
-
-
79952045805
-
Spatial knowledge representation on the semantic web
-
F. Hogenboom, B. Borgman, F. Frasincar, and U. Kaymak, "Spatial knowledge representation on the semantic web," in Proceedings of the IEEE 4th International Conference on Semantic Computing (ICSC 2010), Pittsburgh, PA, USA, September 2010, pp. 252-259.
-
Proceedings of the IEEE 4th International Conference on Semantic Computing (ICSC 2010), Pittsburgh, PA, USA, September 2010
, pp. 252-259
-
-
Hogenboom, F.1
Borgman, B.2
Frasincar, F.3
Kaymak, U.4
-
15
-
-
56649109557
-
Cheap boolean role constructors for description logics
-
S. Rudolph, M. Krötzsch, and P. Hitzler, "Cheap boolean role constructors for description logics," Logics in Artificial Intelligence, pp. 362-374, 2008.
-
(2008)
Logics in Artificial Intelligence
, pp. 362-374
-
-
Rudolph, S.1
Krötzsch, M.2
Hitzler, P.3
-
16
-
-
5444229505
-
Description of the RACER system and its applications
-
[Online]. Available
-
V. Haarslev and R. Möller, "Description of the RACER system and its applications," in Proceedings International Workshop on Description Logics (DL-2001), Stanford, CA, USA, July 2001, pp. 131-141. [Online]. Available: http://www.racer-systems.com/
-
Proceedings International Workshop on Description Logics (DL-2001), Stanford, CA, USA, July 2001
, pp. 131-141
-
-
Haarslev, V.1
Möller, R.2
-
17
-
-
30844433946
-
Ontology-based discovery of geographic information services - An application in disaster management
-
DOI 10.1016/j.compenvurbsys.2005.04.002, PII S0198971505000372
-
E. Klien, M. Lutz, and W. Kuhn, "Ontology-based discovery of geographic information services - An application in disaster management,"Computers, environment and urban systems, vol. 30, no. 1, pp. 102-123, 2006. (Pubitemid 43103116)
-
(2006)
Computers, Environment and Urban Systems
, vol.30
, Issue.1
, pp. 102-123
-
-
Klien, E.1
Lutz, M.2
Kuhn, W.3
-
18
-
-
34250637908
-
A task-based ontology approach to automate geospatial data retrieval
-
DOI 10.1111/j.1467-9671.2007.01050.x
-
N. Wiegand and C. García, "A task-based ontology approach to automate geospatial data retrieval," Transactions in GIS, vol. 11, no. 3, pp. 355-376, 2007. (Pubitemid 46930087)
-
(2007)
Transactions in GIS
, vol.11
, Issue.3
, pp. 355-376
-
-
Wiegand, N.1
Garcia, C.2
-
19
-
-
84863412082
-
-
[Online]. Available
-
(2011) Geospatial tutorial for AllegroGraph. [Online]. Available: http://www.franz.com/agraph/support/documentation/current/geospatial-tutorial. html
-
(2011)
Geospatial Tutorial for AllegroGraph
-
-
-
20
-
-
84863412084
-
-
[Online]. Available
-
(2011) GeoSpatialWeb. [Online]. Available: http://code.google.com/p/ geospatialweb/
-
(2011)
GeoSpatialWeb
-
-
-
21
-
-
77953987965
-
The space package: Tight integration between space and semantics
-
W. Van Hage, J. Wielemaker, and G. Schreiber, "The space package: Tight integration between space and semantics," Transactions in GIS, vol. 14, no. 2, pp. 131-146, 2010.
-
(2010)
Transactions in GIS
, vol.14
, Issue.2
, pp. 131-146
-
-
Van Hage, W.1
Wielemaker, J.2
Schreiber, G.3
-
22
-
-
84866986704
-
Qualitative spatial reasoning with topological information in BDI agents
-
M. Schuele and P. Karaenke, "Qualitative spatial reasoning with topological information in BDI agents," in Proceedings of the 2nd Workshop on Artificial Intelligence and Logistics (AILog), Lisbon, Portugal, August 2010, pp. 7-12.
-
Proceedings of the 2nd Workshop on Artificial Intelligence and Logistics (AILog), Lisbon, Portugal, August 2010
, pp. 7-12
-
-
Schuele, M.1
Karaenke, P.2
|