Matching in description logics: Preliminary results

Franz Baader; Alex Borgida; Deborah L. McGuinness

doi:10.1007/BFb0054902

Matching in description logics: Preliminary results

Franz Baader, Alex Borgida, Deborah L. McGuinness

School of Arts and Sciences, Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Abstract

Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. This paper proposes a new approach to performing matching, based on a “concept-centered” 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 FC-,, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional “side conditions”, which were motivated by practical experience.

Original language	English (US)
Title of host publication	Conceptual Structures
Subtitle of host publication	Theory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings
Editors	Marie-Laure Mugnier, Michel Chein
Publisher	Springer Verlag
Pages	15-34
Number of pages	20
ISBN (Print)	3540647910, 9783540647911
DOIs	https://doi.org/10.1007/BFb0054902
State	Published - 1998
Event	6th International Conference on Conceptual Structures, ICCS 1998 - Montpellier, France Duration: Aug 10 1998 → Aug 12 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1453
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	6th International Conference on Conceptual Structures, ICCS 1998
Country/Territory	France
City	Montpellier
Period	8/10/98 → 8/12/98

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/BFb0054902

Cite this

Baader, F., Borgida, A., & McGuinness, D. L. (1998). Matching in description logics: Preliminary results. In M-L. Mugnier, & M. Chein (Eds.), Conceptual Structures: Theory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings (pp. 15-34). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1453). Springer Verlag. https://doi.org/10.1007/BFb0054902

Baader, Franz ; Borgida, Alex ; McGuinness, Deborah L. / Matching in description logics : Preliminary results. Conceptual Structures: Theory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings. editor / Marie-Laure Mugnier ; Michel Chein. Springer Verlag, 1998. pp. 15-34 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fa2ec9523c724231b5c133bfc7927274,

title = "Matching in description logics: Preliminary results",

abstract = "Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. This paper proposes a new approach to performing matching, based on a “concept-centered” 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 FC-,, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional “side conditions”, which were motivated by practical experience.",

author = "Franz Baader and Alex Borgida and McGuinness, {Deborah L.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 6th International Conference on Conceptual Structures, ICCS 1998 ; Conference date: 10-08-1998 Through 12-08-1998",

year = "1998",

doi = "10.1007/BFb0054902",

language = "English (US)",

isbn = "3540647910",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "15--34",

editor = "Marie-Laure Mugnier and Michel Chein",

booktitle = "Conceptual Structures",

address = "Germany",

}

Baader, F, Borgida, A & McGuinness, DL 1998, Matching in description logics: Preliminary results. in M-L Mugnier & M Chein (eds), Conceptual Structures: Theory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1453, Springer Verlag, pp. 15-34, 6th International Conference on Conceptual Structures, ICCS 1998, Montpellier, France, 8/10/98. https://doi.org/10.1007/BFb0054902

Matching in description logics: Preliminary results. / Baader, Franz; Borgida, Alex; McGuinness, Deborah L.
Conceptual Structures: Theory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings. ed. / Marie-Laure Mugnier; Michel Chein. Springer Verlag, 1998. p. 15-34 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1453).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Matching in description logics

T2 - 6th International Conference on Conceptual Structures, ICCS 1998

AU - Baader, Franz

AU - Borgida, Alex

AU - McGuinness, Deborah L.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1998.

PY - 1998

Y1 - 1998

N2 - Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. This paper proposes a new approach to performing matching, based on a “concept-centered” 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 FC-,, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional “side conditions”, which were motivated by practical experience.

AB - Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. This paper proposes a new approach to performing matching, based on a “concept-centered” 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 FC-,, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional “side conditions”, which were motivated by practical experience.

UR - http://www.scopus.com/inward/record.url?scp=84957628700&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957628700&partnerID=8YFLogxK

U2 - 10.1007/BFb0054902

DO - 10.1007/BFb0054902

M3 - Conference contribution

AN - SCOPUS:84957628700

SN - 3540647910

SN - 9783540647911

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 15

EP - 34

BT - Conceptual Structures

A2 - Mugnier, Marie-Laure

A2 - Chein, Michel

PB - Springer Verlag

Y2 - 10 August 1998 through 12 August 1998

ER -

Baader F, Borgida A, McGuinness DL. Matching in description logics: Preliminary results. In Mugnier M-L, Chein M, editors, Conceptual Structures: Theory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings. Springer Verlag. 1998. p. 15-34. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0054902

Matching in description logics: Preliminary results

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this