Sciweavers

2214 search results - page 97 / 443
» Complexity of Reasoning
Sort
View
KRDB
2001
110views Database» more  KRDB 2001»
15 years 4 months ago
Path Constraints from a Modal Logic Point of View
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
Natasha Alechina, Stéphane Demri, Maarten d...
AAAI
2007
15 years 5 months ago
DL-Lite in the Light of First-Order Logic
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
SEBD
2007
121views Database» more  SEBD 2007»
15 years 4 months ago
Query Answering in Expressive Variants of DL-Lite
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
KR
2004
Springer
15 years 8 months ago
Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
Stefan Schulz, Udo Hahn
ICC
2007
IEEE
110views Communications» more  ICC 2007»
15 years 9 months ago
Performance of Interleave Division Multiple Access Based on Minimum Mean Square Error Detection
— Interleave division multiple access (IDMA) recently attracted many research activities because of its excellent performance despite its reasonable low complexity. The low compl...
Katsutoshi Kusume, Guido Dietl, Wolfgang Utschick,...