A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryA. Borgida
View the documentA. Borgida Extensible Knowledge Representation: the Case of Description Reasoners - A. Borgida
View the documentA. Borgida A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - A. Borgida and P. F. Patel-Schneider
View the documentA. Borgida What's in an Attribute? Consequences for the Least Common Subsumer - R. Kusters and A. Borgida