[PDF] Top 20 Interval temporal description logics

... Halpern-Shoham interval temporal logic HS [15] with the description logic DL-Lite H horn [12, 1], which is a Horn extension of the standard language OWL 2 ...The temporal operators of HS are ... See full document

... variable logics, and related techniques have been used in modal logic as well; for instance, [KR97b] use various kinds of bisimulations to characterize temporal logics with Since and ... See full document

... in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is inves- ...up temporal semantics to finite-state ... See full document

... modal logics over interacting transitive but not equivalence relations by designing their interesting fragments turned out to be a difficult ...decidable logics that are still very complex, ranging from E ... See full document

... their temporal existence, limited by two time points, as described in the General Formal Ontology (GFO) ...an interval not defined as a set of points, thus implying that time is represented as a continuum, ... See full document

... Interval based tense logics are calculi o f temporal rea- soning in which propositions are assigned truth values over extended periods o f time s.. T h r e e operators F future, P past a[r] ... See full document

... Modal logics can specify some of the concepts, such as knowledge, beliefs, intentions, norms, and temporal ...standard temporal logics, such as LTL [2] or CTL [3], to the verification of ... See full document

... The finiteness and discreteness of strings ar- guably mirrors the bounded granularity of nat- ural language statements (rife with talk of “the next moment”). Boundaries drawn to analyze, for example, telicity become ... See full document

... Description logics are well-known to be appropriate for the formal representation of conceptual data models such ER diagrams and UML class ...unifying description logics for the logical ... See full document

... instances. Temporal constraints can be grouped in three categories: timestamping, evolution and temporal cardinality ...entity). Temporal cardinality constraints restrict the number of times an ... See full document

... with temporal operators of the form hRi, where R is one of Allen’s (1981) interval relations (after, begins, ends, during, later, overlaps, equals and their ...some interval [i 0 , j 0 ] such that ... See full document

... our description of how to specify automata-based protocols in PLTL has been example-driven, the general methodology is clear: It involves the specifica- tion of both the state transition function (including the ... See full document

... Stable Model Negation. In (Magka, Kr¨otzsch, and Hor- rocks 2013), new acyclicity and stratification conditions are presented for existential rules with negation in rule bodies, which identify classes of rule sets that ... See full document

... from temporal and dynamic logics such as LTL, CTL and ...these logics into ...these logics are not expressive enough to capture the full power of ...these logics have been characterized ... See full document

... Description logic is fundamentally used for Knowledge representation. The knowledge representation system should be able to generate answers to the queries based on the reasoning logic. Thus the DL should have ... See full document

... Different neuroimaging studies have at times provided disparate results. This could partially be due to the utilised methodology, limited to not only the nature of the task, but also to the length of the investigated ... See full document

... Abstract. To manage the increasing complexity of computer systems, a need has arisen to process knowledge instead of only data. Ontologies are nowadays widely used to describe domain knowledge, but although a high level ... See full document

... Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access”, by the European Research Council under the EU’s 7th Framework Programme (FP7/2007-2013)/ERC grant 246858 ... See full document

... for temporal logics is also an increasingly important topic. Temporal logics in gen- eral are widely used in systems and software verification, and interpolation ... See full document

... The aim of this paper is to study learnability of description logic TBoxes. In this context, each DL L gives rise to a learning framework (X, L, µ), as follows: L is the set of all TBoxes formulated in L, X is the ... See full document