AAAI Publications

Ibáñez-García, Yazmín, Technische Universität Wien, Austria

• Thirty-First AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
  Number Restrictions on Transitive Roles in Description Logics with Nominals
  Abstract  PDF