Ontology Logic and Reasoning
Project Status: completed
OntoLoRe is the gateway to ontology-related research on logic and reasoning at AIFB, University of Karlsruhe and FZI-IPE Karlsruhe, headed by Rudi Studer.
Area of Research
Knowledge Representation And Reasoning, Knowledge Representation Languages, Ontology Engineering, Deductive Databases, Logic, Non-monotonic Reasoning, Fuzzy Logic, Artificial Intelligence, Semantic Web
Publications Belonging to the Project