Closed Terminologies in Description Logics

@inproceedings{Weida1996ClosedTI,
  title={Closed Terminologies in Description Logics},
  author={Robert A. Weida},
  booktitle={AAAI/IAAI, Vol. 1},
  year={1996}
}
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the standard open terminology assumption as it automatically classifies concept descriptions into a taxonomy via subsumption inferences. However, for applications like configuration, the terminology becomes fixed during problem solving. Then, closed terminology reasoning is more appropriate. In our interactive… CONTINUE READING