A formal method for integrating distributed ontologies and reducing the redundant relations

From MaRDI portal
Publication:3579148