Add to ORKGAn attempt is made to integrate three well-known formalisms of knowledge representation: termino-logical logic in the tradition of KL-ONE, the tem-poral logic of Shoham, and Allen’s interval calcu-lus. Drawing on each of these sources, a temporal terminological logic is proposed which combines structural with temporal abstraction. A formal semantics is provided, and some hints are given for exploring the computational properties of rea-soning in the formalism
AbstractWhile classical Description Logics (DLs) concentrate on the representation of static concept...
Modelling, reasoning about and integrating knowledge based on multiple time granularities in knowled...
AbstractA new domain-independent knowledge-based inference structure is presented, specific to the t...
In this paper a temporal extension of terminological logics is provided. Operators from propositiona...
We are investigating interval-based temporal extensions of terminological logics. These extensions a...
A class of interval-based temporal languages for uniformly representing and reasoning about actions ...
A time-dependent concept is a conceptual entity that is defined in terms of temporal relationships w...
The introduction of the temporal analysis in Logic has stimulated different approaches, some of them...
This paper presents a formalism for representing knowledge in the legal domain with an explicit acco...
Representation, reasoning about and integrating knowledge based on multiple time granularities in kn...
From the Motivation: „Description Logics (DLs) are a family of formalisms well-suited for the repres...
In this paper we introduce MuTACLP, a knowledge representation language which provides facilities f...
The logic program formalism is commonly viewed as a modal or default logic. In this paper, we propos...
In this paper, we study the predicative semantics of different temporal logics and the relationships...
Most of AI research on temporal reasoning has been devoted to either exploring constraint-based temp...
AbstractWhile classical Description Logics (DLs) concentrate on the representation of static concept...
Modelling, reasoning about and integrating knowledge based on multiple time granularities in knowled...
AbstractA new domain-independent knowledge-based inference structure is presented, specific to the t...
In this paper a temporal extension of terminological logics is provided. Operators from propositiona...
We are investigating interval-based temporal extensions of terminological logics. These extensions a...
A class of interval-based temporal languages for uniformly representing and reasoning about actions ...
A time-dependent concept is a conceptual entity that is defined in terms of temporal relationships w...
The introduction of the temporal analysis in Logic has stimulated different approaches, some of them...
This paper presents a formalism for representing knowledge in the legal domain with an explicit acco...
Representation, reasoning about and integrating knowledge based on multiple time granularities in kn...
From the Motivation: „Description Logics (DLs) are a family of formalisms well-suited for the repres...
In this paper we introduce MuTACLP, a knowledge representation language which provides facilities f...
The logic program formalism is commonly viewed as a modal or default logic. In this paper, we propos...
In this paper, we study the predicative semantics of different temporal logics and the relationships...
Most of AI research on temporal reasoning has been devoted to either exploring constraint-based temp...
AbstractWhile classical Description Logics (DLs) concentrate on the representation of static concept...
Modelling, reasoning about and integrating knowledge based on multiple time granularities in knowled...
AbstractA new domain-independent knowledge-based inference structure is presented, specific to the t...