TY - JOUR
T1 - Matching in description logics
AU - Baader, Franz
AU - Küsters, Ralf
AU - Borgida, Alex
AU - McGuinness, Deborah L.
N1 - Funding Information:
Franz Baader: Partially supported by the EC Working Group CCL II. Alex Borgida: Partially supported by NSF Grant IRI 9619979. Deborah L. McGuinness: Work was done while the author was at AT& T Labs – Research.
PY - 1999/6
Y1 - 1999/6
N2 - Matching concepts against patterns (concepts with variables) is a relatively new operation that has been introduced in the context of concept description languages (description logics). The original goal was to help filter out unimportant aspects of complicated concepts appearing in large industrial knowledge bases. We propose a new approach to performing matching, based on a 'concept-centred' normal form, rather than the more standard 'structural subsumption' normal form for concepts. As a result, matching can be performed (in polynomial time) using arbitrary concept patterns of the description language ALN, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional 'side conditions', which were motivated by practical needs.
AB - Matching concepts against patterns (concepts with variables) is a relatively new operation that has been introduced in the context of concept description languages (description logics). The original goal was to help filter out unimportant aspects of complicated concepts appearing in large industrial knowledge bases. We propose a new approach to performing matching, based on a 'concept-centred' normal form, rather than the more standard 'structural subsumption' normal form for concepts. As a result, matching can be performed (in polynomial time) using arbitrary concept patterns of the description language ALN, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional 'side conditions', which were motivated by practical needs.
UR - http://www.scopus.com/inward/record.url?scp=0032592918&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0032592918&partnerID=8YFLogxK
U2 - 10.1093/logcom/9.3.411
DO - 10.1093/logcom/9.3.411
M3 - Article
AN - SCOPUS:0032592918
SN - 0955-792X
VL - 9
SP - 411
EP - 447
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 3
ER -