research
∙
05/11/2000
Reasoning with Individuals for the Description Logic SHIQ
While there has been a great deal of work on the development of reasonin...
research
∙
05/10/2000
Practical Reasoning for Expressive Description Logics
Description Logics (DLs) are a family of knowledge representation formal...
research
∙
05/09/2000
Practical Reasoning for Very Expressive Description Logics
Description Logics (DLs) are a family of knowledge representation formal...
research
∙
05/09/2000
Reasoning with Axioms: Theory and Pratice
When reasoning in description, modal or temporal logics it is often usef...
research
∙
05/08/2000