Skip to content

TBox and ABox Reasoning in Expressive Description Logics.

Giuseppe De Giacomo, Maurizio Lenzerini

VenueA*KR
Year1996
ProceedingsKR

Browse the full KR paper archive.