Matching in Description Logics with Existential Restrictions

@inproceedings{Baader1999MatchingID,
  title={Matching in Description Logics with Existential Restrictions},
  author={Franz Baader and Ralf K{\"u}sters},
  booktitle={Description Logics},
  year={1999}
}
Matching of concepts against patterns is a new inference task in Description Logics, which was originally motivated by applications of the Classic system. Consequently, the work on this problem was until now mostly concerned with sublanguages of the Classic language, which does not allow for existential restrictions. This paper extends the existing work on matching in two directions. On the one hand, the question of what are the most \interest-ing" solutions of matching problems is explored in… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Explaining Reasoning in De

  • D. McGuinness
  • 1996
Highly Influential
5 Excerpts

Asking queriesabout frames

  • D. S. Johnson
  • Computers andIntractability : A Guide to the…
  • 1999

Living with CLASSIC : When and how to use aKL - ONE - like language

  • A. Borgida, H. Hirsh
  • 1991

Similar Papers

Loading similar papers…