Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach

Batsakis, Sotiris; Petrakis, Euripides G. M.

doi:10.1007/978-3-642-32689-9_19

Cited by 2 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Checking for property restrictions would require adjusting the domain and range of this property from the artificial to the actual objects. SOWL introduces a rule-based solution to this problem using SWRL [10]. In addition to reasoning applying on temporal and spatial relations, Pellet applies also on the ontology schema for inferring additional facts using OWL semantics (e.g., facts due to symmetric relationships and class-subclass relationships).…”

Section: Sowlsupporting

confidence: 45%

SOWL QL: Querying Spatio-Temporal Ontologies in OWL

et al. 2016

Self Cite

View full text Add to dashboard Cite

We introduce SOWL QL, a query language for spatio-temporal information in ontologies. Building-upon SOWL (Spatio-Temporal OWL), an ontology for handling spatio-temporal information in OWL, SOWL QL supports querying over qualitative spatio-temporal information (expressed using natural language expressions such as "before", "after", "north of", "south of") rather than merely quantitative information (exact dates, times, locations). SOWL QL extends SPARQL with a powerful set of temporal and spatial operators, including temporal Allen topological, spatial directional and topological operations or combinations of the above. SOWL QL maintains simplicity of expression, and also upward and downward compatibility with SPARQL. Query translation in SOWL QL yields SPARQL queries, implying that querying spatio-temporal ontologies using SPARQL is still feasible but suffers from several drawbacks, the most important of them being that, queries in SPARQL become particularly complicated and users must be familiar with the underlying spatio-temporal representation (the "N-ary relations" or the "4D-fluents" approach in this work). Finally, querying in SOWL QL is supported by the SOWL reasoner which is not part of the standard SPARQL translation. The run-time performance of SOWL QL has been assessed experimentally in a real data setting. A critical analysis of its performance is also presented.B Euripides G. M. Petrakis

show abstract

Section: Sowlsupporting

confidence: 45%

SOWL QL: Querying Spatio-Temporal Ontologies in OWL

et al. 2016

Self Cite

View full text Add to dashboard Cite

show abstract

“…Temporal reasoning in this work is realized by introducing a set of SWRL 7 rules for asserting inferred temporal Allen relations. Reasoners that support DL-safe rules (i.e., rules that apply only on named individuals in the knowledge base) such as Pellet [36] can be used for inference and consistency checking over temporal relations.…”

Section: Temporal Reasoningmentioning

confidence: 99%

“…The problem is that property restrictions defined on temporal classes now refer to the new classes introduced by the N-ary relations model rather than to the classes on which they were meant to be defined. Dealing with such issues calls for reasoning rules capable of handling temporal information in OWL with the N-ary relations model as the one we presented in [7], where we proposed a mechanism for handling OWL property restrictions and semantics over temporal representations in conjunction with the 4D-fluents and the N-ary relations approaches. Property semantics are expressed by a set of SWRL rules defined over temporal relations (rather than by OWL axioms as it is typical in DL ontologies).…”

Section: Applicationsmentioning

confidence: 99%

Temporal representation and reasoning in OWL 2

Batsakis

Petrakis

Tachmazidis

et al. 2017

Self Cite

View full text Add to dashboard Cite

The representation of temporal information has been in the center of intensive research activities over the years in the areas of knowledge representation, databases and more recently, the Semantic Web. The proposed approach extends the existing framework of representing temporal information in ontologies by allowing for representation of concepts evolving in time (referred to as "dynamic" information) and of their properties in terms of qualitative descriptions in addition to quantitative ones (i.e., dates, time instants and intervals). For this purpose, we advocate the use of natural language expressions, such as "before" or "after", for temporal entities whose exact durations or starting and ending points in time are unknown. Reasoning over all types of temporal information (such as the above) is also an important research problem. The current work addresses all these issues as follows: The representation of dynamic concepts is achieved using the "4D-fluents" or, alternatively, the "N-ary relations" mechanism. Both mechanisms are thoroughly explored and are expanded for representing qualitative and quantitative temporal information in OWL. In turn, temporal information is expressed using either intervals or time instants. Qualitative temporal information representation in particular, is realized using sets of SWRL rules and OWL axioms leading to a sound, complete and tractable reasoning procedure based on path consistency applied on the existing relation sets. Building upon existing Semantic Web standards (OWL), tools and member submissions (SWRL), as well as integrating temporal reasoning support into the proposed representation, are important design features of our approach.

show abstract

Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach

Cited by 2 publications

References 5 publications

SOWL QL: Querying Spatio-Temporal Ontologies in OWL

SOWL QL: Querying Spatio-Temporal Ontologies in OWL

Temporal representation and reasoning in OWL 2

Contact Info

Product

Resources

About