Original language | English |
---|---|
Title of host publication | Description Logics |
Publication date | 1997 |
Publication status | Published - 1997 |
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.
Volker Haarslev, Ralf Möller
Volker Haarslev, Ralf Möller
Original language | English |
---|---|
Title of host publication | Description Logics |
Publication date | 1997 |
Publication status | Published - 1997 |