Add to ORKGAbstract. We show that the description logic SOQ with number re-strictions on transitive roles is decidable by a terminating tableau cal-culus. The language decided by the calculus includes the universal role, which allows us to internalize TBox axioms. Termination of the system is achieved through pattern-based blocking.
We present a terminating tableau calculus for graded hybrid logic with globalmodalities, reflexivity...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
Number restrictions are concept constructors that are available in almost all implemented descriptio...
Abstract. We show that the description logic SOQ with number re-strictions on transitive roles is de...
International audienceIn this paper, we investigate an extension of the description logic SHIQ -a kn...
We study description logics (DLs) supporting number restrictions on transitive roles. We first take ...
Motivated by medical terminology applications, we investigate the decidability of an expressive and ...
AbstractMotivated by medical terminology applications, we investigate the decidability of an express...
The combination of transitive and inverse roles is important in a range of applications, and is cruc...
I hereby confirm that I have written this thesis on my own and that I have not used any other media ...
Abstract. We present a terminating tableau calculus for graded hybrid logic with global modalities, ...
Abstract. We give the first ExpTime (complexity-optimal) tableau decision procedure for check-ing sa...
International audienceIn this paper we study formal tools for the definition of tableaux systems for...
leduc2009aInternational audienceThis paper investigates a description logic, namely SHI+, which exte...
Abstract. This paper investigates a Description Logic, namely SHI+, which extends SHI by adding tran...
We present a terminating tableau calculus for graded hybrid logic with globalmodalities, reflexivity...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
Number restrictions are concept constructors that are available in almost all implemented descriptio...
Abstract. We show that the description logic SOQ with number re-strictions on transitive roles is de...
International audienceIn this paper, we investigate an extension of the description logic SHIQ -a kn...
We study description logics (DLs) supporting number restrictions on transitive roles. We first take ...
Motivated by medical terminology applications, we investigate the decidability of an expressive and ...
AbstractMotivated by medical terminology applications, we investigate the decidability of an express...
The combination of transitive and inverse roles is important in a range of applications, and is cruc...
I hereby confirm that I have written this thesis on my own and that I have not used any other media ...
Abstract. We present a terminating tableau calculus for graded hybrid logic with global modalities, ...
Abstract. We give the first ExpTime (complexity-optimal) tableau decision procedure for check-ing sa...
International audienceIn this paper we study formal tools for the definition of tableaux systems for...
leduc2009aInternational audienceThis paper investigates a description logic, namely SHI+, which exte...
Abstract. This paper investigates a Description Logic, namely SHI+, which extends SHI by adding tran...
We present a terminating tableau calculus for graded hybrid logic with globalmodalities, reflexivity...
International audienceThe Semantic Web makes an extensive use of the OWL DL ontology language, under...
Number restrictions are concept constructors that are available in almost all implemented descriptio...