Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

ONTOLORE/en

Aus Aifbportal

Wechseln zu: Navigation, Suche
Ontolore.png

Ontology Logic and Reasoning


Contact: Sebastian Rudolph

http://logic.aifb.uni-karlsruhe.de


Project Status: completed


Description

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.


Involved Persons
Markus Krötzsch, Sebastian Rudolph


Information

n.a.



Research Group

Web Science


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
article
 - inproceedings
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - techreport
 - deliverable
 - manual
 - misc
 - unpublished