CFDnc: A PTIME Description Logic With Functional Constraints And Disjointness

TitleCFDnc: A PTIME Description Logic With Functional Constraints And Disjointness
Publication TypeConference Paper
Year of Publication2013
AuthorsToman, D., and G. Weddell
Conference NameInternational Workshop on Description Logics (DL)
URLhttp://ceur-ws.org/Vol-1014/paper_65.pdf