Extensible Knowledge Representation: the Case of Description Reasoners

Open in new window