A Description Logic for Vague Knowledge a Description Logic for Vague Knowledge

@inproceedings{Tresp1998ADL,
  title={A Description Logic for Vague Knowledge a Description Logic for Vague Knowledge},
  author={B. Tresp},
  year={1998}
}
  • B. Tresp
  • Published 1998
This work introduces the concept language ALC F M which is an extension of ALC to many-valued logics. ALC F M allows to express vague concepts, e.g. more or less enlarged or very small. To realize this extension to many-valued logics, the classical notions of satissability and subsumption had to be modiied appropriately. For example, ALC F M-concepts are no longer either satissable or unsatissable, but they are satissable to a certain degree. The main contribution of this paper is a sound and… CONTINUE READING

From This Paper

Topics from this paper.
4 Citations
11 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Medical terminology processing for a tutoring system

  • C. B. Tresp, U. T uben
  • In International Conference on Computational…
  • 1998

Engineering Optimiza- tion - Methods and Applications, chapter 4

  • G. V. Reklaitis, A. Ravindran, K. M. Ragsdell
  • Wiley,
  • 1983

Similar Papers

Loading similar papers…