Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations

Authors:
Giuseppe De Giacomo;Maurizio Lenzerini
Affiliations:
-;-
Venue:
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Year:
1994

Citing 0
Cited 3

A NExpTime-Complete Description Logic Strictly Contained in C2

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Reasoning in expressive description logics

Handbook of automated reasoning
Bibliography

The description logic handbook

Quantified Score

Hi-index	0.01

Visualization

Abstract