Abstract | ||
---|---|---|
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a few. Although some reasoning services have been unified already (e.g., LCS and Most Specific Concept), the definition of non-standard problems and the computation that solve them are very different from each other. We propose to unify the definitions of non-standard services as special Second-order sentences in DLs; when the solution concepts are optimal with respect to some preferences, a fixpoint replaces the Second-order quantification. Moreover, we propose to combine the well-known Tableaux calculi for DLs with rules that compute substitutions of Concept Variables. We prove soundness and completeness of the combined calculus and we give a sufficient condition for termination, which covers some non-trivial cases. |
Year | DOI | Venue |
---|---|---|
2010 | 10.3233/978-1-60750-606-5-479 | ECAI |
Keywords | Field | DocType |
non-standard problem,non-standard service,concept variables,non-standard reasoning,unified framework,specific concept,second-order quantification,reasoning service,interpolant concept,concept unifier,concept difference,description logics,description logic | Mathematical optimization,Computer science,Interpolation,Algorithm,Description logic,Theoretical computer science,Soundness,Fixed point,Completeness (statistics),Computation | Conference |
Volume | ISSN | Citations |
215 | 0922-6389 | 6 |
PageRank | References | Authors |
0.46 | 24 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Simona Colucci | 1 | 1047 | 71.96 |
Tommaso Di Noia | 2 | 1857 | 152.07 |
Eugenio Di Sciascio | 3 | 1733 | 147.71 |
Francesco M. Donini | 4 | 3481 | 452.47 |
Azzurra Ragone | 5 | 511 | 40.86 |