Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web

Lima, Guilherme F.; Machado, Marcelo; Uceda-Sosa, Rosario; Moreno, Márcio Ferreira

doi:10.1007/978-3-030-91167-6_13

Cited by 1 publication

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Allen's interval algebra (IA), reasoning is manageable only for specific subalgebras and is executed through path consistency, a constraint propagation algorithm. Its rule-based implementation necessitates O(n 2 ) rules for a subalgebra with n relations [14].…”

Section: From Ontologies To Relation Calculusmentioning

confidence: 99%

“…Lastly, it is worth noting that qualitative calculus-based techniques have applications beyond foundational studies. For example, in [14], a practical approach to rule-based temporal reasoning over RDF/OWL using Allen's interval algebra (IA) is outlined, showcasing the versatility of the methodology. This example provides an idea of both the utility of hav-ing foundational ontologies and the need to adapt these ontologies to different applications through revision to a greater or lesser extent.…”

Section: From Ontologies To Relation Calculusmentioning

confidence: 99%

“…An example is presented in Figure 6, where a set of equstions E, and its translation E L RCC , is the set of formulas that appear in Figure 7. (14,15). 15 = or(7,8).…”

mentioning

confidence: 99%

See 2 more Smart Citations

A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology

Aranda-Corral,

Borrego-Díaz,

Chávez-González

et al. 2024

View full text Add to dashboard Cite

In ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodological approach supporting ontology extension practices. Secondly, it aims to demonstrate its feasibility by applying the approach to the case of extending qualitative spatial reasoning (QSR) theories. Key questions involve effectively interpreting spatial extensions while maintaining consistency. The framework systematically analyzes extensions of formal ontologies, providing a reconstruction of a qualitative calculus. Reconstructed qualitative calculus demonstrates improved interpretative capabilities and reasoning accuracy. The research underscores the importance of methodological approaches when extending formal ontologies, with spatial interpretation serving as a valuable case study.

show abstract

Section: From Ontologies To Relation Calculusmentioning

confidence: 99%

Section: From Ontologies To Relation Calculusmentioning

confidence: 99%