Sciweavers

108 search results - page 12 / 22
» A New Knowledge Representation Model to Support Multilingual...
Sort
View
TGIS
2002
175views more  TGIS 2002»
13 years 6 months ago
Using Ontologies for Integrated Geographic Information Systems
Today, there is a huge amount of data gathered about the Earth, not only from new spatial information systems, but also from new and more sophisticated data collection technologie...
Frederico T. Fonseca, Max J. Egenhofer, Peggy Agou...
SYNASC
2006
IEEE
64views Algorithms» more  SYNASC 2006»
14 years 22 days ago
Scheme-Based Systematic Exploration of Natural Numbers
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
Madalina Hodorog, Adrian Craciun
ICLP
2005
Springer
14 years 7 days ago
OWL: A Description Logic Based Ontology Language
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
Ian Horrocks
TGIS
2002
103views more  TGIS 2002»
13 years 6 months ago
Integration of Space Syntax into GIS: New Perspectives for Urban Morphology
Although space syntax has been successfully applied to many urban GIS studies, there is still a need to develop robust algorithms that support the automated derivation of graph re...
Bin Jiang, Christophe Claramunt
FM
2003
Springer
169views Formal Methods» more  FM 2003»
13 years 12 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang