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
Sebastian Rudolph, Markus Krötzsch


Information

n.a.



Research Group

Web Science


Area of Research

Knowledge Representation Languages, Artificial Intelligence, Non-monotonic Reasoning, Deductive Databases, Fuzzy Logic, Ontology Engineering, Semantic Web, Knowledge Representation And Reasoning, Logic


Publications Belonging to the Project
article
 - inproceedings
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - techreport
 - deliverable
 - manual
 - misc
 - unpublished