Vol-856⫷ Vol-857 ⫸Vol-858
urn:nbn:de:0074-857-0


None⫷None⫸None
Simona ColucciFrancesco M. Donini

Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics