similar computational-logic systems / machinery / Web Ontology Language / above algorithms / guess-and-check algorithm / computing / description logic reasoning systems / pre-computing / answer-set programming systems / /
Organization
Hans Tompits Institut f¨ur Informationssysteme / Austrian Science Fund / European Commission / /
Person
Ai / Hans Tompits / Thomas Eiter / Roman Schindlauer / /
Position
HB / Prime Minister / whole Herbrand base HB / RACER / head / /
ProgrammingLanguage
L / /
Technology
above algorithms / caching / dom / DLP / caching system / guess-and-check algorithm / /