A Concept Language with Role-Forming Predicate Restrictions

@inproceedings{Lutz1997ACL,
  title={A Concept Language with Role-Forming Predicate Restrictions},
  author={Carsten Lutz and Volker Haarslev and Ralf M{\"o}ller},
  year={1997}
}
The development of language constructs for defining concept and role terms is an important goal of research on description logic formalisms. However, most decidable descriptions logics only support the definition of roles with very limited properties. For more complex roles, e.g. roles needed to represent Allen’s temporal relations, a higher expressivity is… CONTINUE READING