Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics …õ‚Ąí, …õ‚Ąí+ and their Extensions with n-ary Roles and Numerical Domains.
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics …õ‚Ąí, …õ‚Ąí+ and their Extensions with n-ary Roles and Numerical Domains.
(xsd:string)
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics …õ‚Ąí, …õ‚Ąí+ and their Extensions with n-ary Roles and Numerical Domains.
(xsd:string)