Abstrakt. RACER implementerar en TBox och ABox-reporter för logiken SHIQ. RACER var det första fullfjädrade ABox-beskrivningslogiken för en mycket uttrycksfull logik och bygger på optimerade ljud- och kompletta algoritmer. RACER genomför också ett beslutsförfarande för modal logik tillfredsställande problem (eventuellt med globala axiom).
Racer REF implementerar en TBox och ABox-reporter för logiken SHIQ, det var också den första fullfjädrad ABox beskrivning logik system för en mycket uttrycksfull logik och bygger på optimerade ljud och kompletta algoritmer.
RACER System Description
{'venue': 'IJCAR', 'journal': None, 'mag_field_of_study': ['Computer Science']}