Add to ORKGFollowing the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ALC. We address the problems to determine executability of an action, to build the state obtained by an action application and to check its consistency: we present an algorithm to solve the latter two problems
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both...
Some of the recent work on representing action makes use of high-level action languages. In this pap...
Following the approaches given in recent works about action languages over description logics, we pr...
Following the approaches and motivations given in recent works about action languages over descript...
In this work we present our contributions to the study of semantics foundations for constructive des...
General action languages, like e.g. the Situation Calculus, use full classical logic to represent kn...
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragm...
Recently, there has been a growing interest in constructive reinterpretations of description logics...
Recently, there has been a growing interest in constructive reinterpretations of description logics....
Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms design...
Overview of the problem Descriptive action formalism based on Situation Calculus (SitCalc) to suppor...
We aim at representing and reasoning about actions and (high level) programs over ontologies express...
The verification problem for action logic programs with non-terminating behaviour is in general unde...
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses ...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both...
Some of the recent work on representing action makes use of high-level action languages. In this pap...
Following the approaches given in recent works about action languages over description logics, we pr...
Following the approaches and motivations given in recent works about action languages over descript...
In this work we present our contributions to the study of semantics foundations for constructive des...
General action languages, like e.g. the Situation Calculus, use full classical logic to represent kn...
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragm...
Recently, there has been a growing interest in constructive reinterpretations of description logics...
Recently, there has been a growing interest in constructive reinterpretations of description logics....
Description Logics (DLs) are a family of logic-based knowledge representation (KR) formalisms design...
Overview of the problem Descriptive action formalism based on Situation Calculus (SitCalc) to suppor...
We aim at representing and reasoning about actions and (high level) programs over ontologies express...
The verification problem for action logic programs with non-terminating behaviour is in general unde...
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses ...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both...
Some of the recent work on representing action makes use of high-level action languages. In this pap...