F. Grandi. On expressive description logics with composition of roles in number restrictions. In Proc of. 9th Intl' Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Tableau Algorithm for - Fabio Grandi Ieiit Self-citation (Grandi) (Correct)
No context found.
F. Grandi. On Expressive Description Logics with Composition of Roles in Number Restrictions. In Proc. of the 9th Intl' Conf. on Logic for Programming and Automated Reasoning (LPAR'02), pages 202--215, 2002.
On Expressive Description Logics with Composition of Roles in.. - Grandi (2002) (1 citation) Self-citation (Grandi) (Correct)
.... and provide an e#ective decision procedure in the form of a tableau based algorithm, which extends the (#) Tableau proposed by Baader and Sattler [3] Due to space limitations, the proofs have not been included but can be found in an extended version of this paper which is available online [19]. Preliminaries on Description Logics The expressiveness of a Description Logic (DL) is based on the definition of complex concepts and roles, which can be built with the help of available constructors, starting from a set of (atomic) concept names NC and a set of (atomic) role names NR. A DL ....
....we are going to introduce manipulates, as basic data structures, ABox assertions involving domain individuals. In fact, our algorithm is a simple extension of the tableau based algorithm to decide (#) concept satisfiability presented by Baader and Sattler in [3] also the proofs given in [19] are very similar to the proofs provided in [3] for the (#) Tableau) The extension is based on the modification of the transformation rules for number restrictions (# and # rules) to take into account the qualifying conditions and on the introduction of a so called choose rule (called ....
F. Grandi. On Expressive Description Logics with Composition of Roles in Number Restrictions. Technical Report CSITE-01-02, CSITE-CNR Bologna, 2002. (URL ftp://ftp-db.deis.unibo.it/pub/fabio/TR/CSITE-01-02.pdf ).
Applying Description Logic to Product Behavioral Design - Within Advanced Cad (Correct)
No context found.
F. Grandi. On expressive description logics with composition of roles in number restrictions. In Proc of. 9th Intl' Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC