A Description Logic with Concrete Domains and a Role-forming Predicate Operator
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Description Logic with Concrete Domains and a Role-forming Predicate Operator
|
| Id. |
46606412 |
| Idioma |
inglés
|
| Titulo |
A Description Logic with Concrete Domains and a Role-forming Predicate Operator |
| Autor(es) |
Volker Haarslev
Carsten Lutz
Ralf Möller
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.3299
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general significance of ALCRP(D) is demonstrated by adding temporal reasoning to spatial and terminological reasoning using a combined concrete domain. The theory is motivated as a basis for knowledge representation and query processing in the domain of geographic information systems. In contrast to existing work in this domain, which mainly focuses either on conceptual reasoning or on reasoning about qualitative spatial relations, we integrate reasoning about spatial information with terminological reasoning. Keywords: description logic, spatial reasoning, spatiotemporal reasoning, theoretical foundations for GIS. # To appear in: Journal of Logic and Comp...
|
| Tipo |
application/postscript
|
| Palabras clave |
description logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://www-lti.informatik.rwth-aachen.de/pub/papers/1999/HaarslevLutzMoeller-JLC-99.ps.gz
[References] 10.1.1.123.1085
[References] 10.1.1.11.6264
[References] 10.1.1.35.7809
[References] 10.1.1.36.5145
[References] 10.1.1.50.1728
[References] 10.1.1.53.8940
[References] 10.1.1.51.9343
[References] 10.1.1.31.9028
[References] 10.1.1.18.7172
[References] 10.1.1.37.5958
[References] 10.1.1.33.3296
[References] 10.1.1.5.2743
[References] 10.1.1.44.3038
[References] 10.1.1.20.7479
[References] 10.1.1.17.2927
[References] 10.1.1.35.6596
[References] 10.1.1.36.5828
[References] 10.1.1.26.7768
[References] 10.1.1.13.8693
[References] 10.1.1.22.8293
[References] 10.1.1.36.6163
[References] 10.1.1.44.6054
[References] 10.1.1.24.5214
[References] 10.1.1.33.1088
[References] 10.1.1.36.8476
[References] 10.1.1.41.7877
[References] 10.1.1.119.6733
[References] 10.1.1.21.3090
[References] 10.1.1.36.4268
[References] 10.1.1.34.5994
[References] 10.1.1.44.9242
[References] 10.1.1.45.7216
[References] 10.1.1.46.8231
[References] 10.1.1.29.1760
[References] 10.1.1.24.7770
[References] 10.1.1.21.1447
[References] 10.1.1.46.725
[References] 10.1.1.16.6154
[References] 10.1.1.40.113
[References] 10.1.1.50.2473
[References] 10.1.1.22.3542
[References] 10.1.1.137.3075
[References] 10.1.1.11.2562
[References] 10.1.1.67.4580
[References] 10.1.1.139.5187
[References] 10.1.1.7.9567
[References] 10.1.1.11.222
[References] 10.1.1.137.1512
[References] 10.1.1.20.7479
[References] 10.1.1.79.6544
[References] 10.1.1.60.1329
[References] 10.1.1.33.4558
[References] 10.1.1.41.7877
[References] 10.1.1.137.894
[References] 10.1.1.21.1447
[References] 10.1.1.24.2100
[References] 10.1.1.5.5730
[References] 10.1.1.85.451
[References] 10.1.1.97.5558
[References] 10.1.1.22.3542
[References] 10.1.1.137.3075
[References] 10.1.1.44.3196
[References] 10.1.1.14.5021
[References] 10.1.1.108.6750
[References] 10.1.1.62.5305
[References] 10.1.1.29.6527
[References] 10.1.1.7.5620
[References] 10.1.1.61.5795
[References] 10.1.1.139.5187
[References] 10.1.1.127.71
[References] 10.1.1.124.9028
[References] 10.1.1.35.3187
[References] 10.1.1.102.779
[References] 10.1.1.60.2128
[References] 10.1.1.67.4316
[References] 10.1.1.99.9162
[References] 10.1.1.7.2968
[References] 10.1.1.7.9567
[References] 10.1.1.28.5277
[References] 10.1.1.31.1662
[References] 10.1.1.87.6616
[References] 10.1.1.1.8822
[References] 10.1.1.102.4117
[References] 10.1.1.102.9535
[References] 10.1.1.105.4374
[References] 10.1.1.30.1450
[References] 10.1.1.83.3767
[References] 10.1.1.88.2300
[References] 10.1.1.98.2876
[References] 10.1.1.99.392
[References] 10.1.1.10.6975
[References] 10.1.1.36.5862
[References] 10.1.1.2.332
[References] 10.1.1.100.3253
[References] 10.1.1.100.5981
[References] 10.1.1.100.906
[References] 10.1.1.101.6069
[References] 10.1.1.101.8470
[References] 10.1.1.101.890
[References] 10.1.1.102.2717
[References] 10.1.1.105.7348
[References] 10.1.1.105.8949
[References] 10.1.1.107.1278
[References] 10.1.1.108.5315
[References] 10.1.1.109.4444
[References] 10.1.1.16.3719
[References] 10.1.1.31.6867
[References] 10.1.1.38.8880
[References] 10.1.1.42.5696
[References] 10.1.1.50.1766
[References] 10.1.1.64.7489
[References] 10.1.1.64.9521
[References] 10.1.1.67.261
[References] 10.1.1.67.3704
[References] 10.1.1.67.7010
[References] 10.1.1.69.3877
[References] 10.1.1.69.802
[References] 10.1.1.68.2334
[References] 10.1.1.77.1208
[References] 10.1.1.77.3399
[References] 10.1.1.83.1565
[References] 10.1.1.85.7847
[References] 10.1.1.85.8724
[References] 10.1.1.89.1662
[References] 10.1.1.90.5729
[References] 10.1.1.92.3987
[References] 10.1.1.94.6664
[References] 10.1.1.95.9091
[References] 10.1.1.96.1618
[References] 10.1.1.96.9827
[References] 10.1.1.99.899
[References] 10.1.1.111.5773
[References] 10.1.1.115.1336
[References] 10.1.1.115.6939
[References] 10.1.1.116.3484
[References] 10.1.1.120.3006
[References] 10.1.1.121.550
[References] 10.1.1.122.9655
[References] 10.1.1.124.2530
[References] 10.1.1.126.8177
[References] 10.1.1.136.3982
[References] 10.1.1.45.2184
[References] 10.1.1.29.6623
[References] 10.1.1.22.5718
[References] 10.1.1.23.9976
[References] 10.1.1.4.3790
[References] 10.1.1.5.4604
[References] 10.1.1.60.7491
[References] 10.1.1.140.5496
[References] 10.1.1.140.8215
|
| Fecha de contribución |
31-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
