Computeralgebrasysteme (CAS) gehoeren zu den grossen gegenwaertigen Herausforderungen an das Lehren von Analysis in der Schule. Es erscheint notwendig, CAS hinsichtlich der Art ihrer Bedienung zu klassifizieren. Es stellt sich auch die Frage nach der Eignung einzelner Systemkategorien fuer einen Einsatz in der Schule - das wird in Kapitel 1 der Arb...
Traditionally, the core of a Terminological Knowledge Representation System (TKRS) consists of a TBox, where concepts are introduced, and an ABox, where facts about individuals are stated in terms of concept memberships. This design has a drawback because in most applications the TBox has to meet two functions at a time: On the one hand - similarly...