Tableau-based revision for expressive description logics with individuals

Thinh Dong, Chan Le Duc, Myriam Lamolle. Tableau-based revision for expressive description logics with individuals. J. Web Sem., 45:63-79, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.