First Page | Document Content | |
---|---|---|
Date: 2010-04-20 14:40:19 | Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc1 and MyrAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 156,92 KBShare Document on Facebook |