Title | ||
---|---|---|
Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction |
Abstract | ||
---|---|---|
In this paper we discuss the relation between the number restriction and existential restriction in description logic ALεN. We show that incompatible existential restrictions on the top conjunction of concept descriptions can deduce a number restriction, exactly speaking an at least restriction. Firstly we define the incompatible relation among the existential restrictions on the top conjunction of an ALεN concept description D, then we use a simple undirected graph G to describe the incompatible relation, whose vectors stand for the existential restrictions. After that we compute the maximal complete subgraph of G and the number of its vectors is our expected number in the deduced number restriction |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/FSKD.2008.119 | FSKD (5) |
Keywords | Field | DocType |
n concept description,existential restriction,expected number,description logic al,description logic,number restriction,deduced number restriction,top conjunction,concept description,incompatible existential restriction,incompatible relation,primitive negation,formal logic,graph theory,knowledge representation,terminology,algorithm design and analysis,polynomials,artificial intelligence | Graph theory,Graph,Discrete mathematics,Knowledge representation and reasoning,Combinatorics,Existentialism,Polynomial,Negation,Description logic,Expected value,Mathematics | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wei Zhang | 1 | 440 | 72.00 |
Junming Qin | 2 | 0 | 0.68 |
Ju Wang | 3 | 172 | 12.45 |
Yuncheng Jiang | 4 | 375 | 24.36 |