Modeling Ontologies for Time-Dependent Applications

Giumale, Cristian; Negreanu, Lorina; Muraru, Mihnea; Popovici, Matei

doi:10.1109/synasc.2010.22

Search citation statements

Order By: Relevance

Paper Sections

Select...

Methods1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2015

Publication Types

Select...

Article1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our previous implementation efforts were either (i) driven by the application context [ 15 , 16 , 24 , 25 ] or (ii) attempted to follow closely the algorithm description, in order to highlight correctness [ 3 , 14 , 18 ]. There are lessons to be learned from either approach.…”

Section: Methodsmentioning

confidence: 99%

Declarative Programming with Temporal Constraints, in the Language CG

Negreanu

2015

The Scientific World Journal

View full text Add to dashboard Cite

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language , which tackles this issue. In , users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment's evolution. relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of program execution, using the Event-B modeling approach.

show abstract