The RacerPro knowledge representation and reasoning system. RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic reasoner. It provides inference services for terminological knowledge as well as for representations of knowledge about individuals. Based on new optimization techniques and techniques that have been developed in the research field of description logics throughout the years, a mature architecture for typical-case reasoning tasks is provided. The system has been used in hundreds of research projects and industrial contexts throughout the last twelve years. W3C standards as well as detailed feedback reports from numerous users have influenced the design of the system architecture in general, and have also shaped the RacerPro knowledge representation and interface languages. With its query and rule languages, RacerPro goes well beyond standard inference services provided by other OWL reasoners.
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
- Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian: Computing optimal repairs of quantified ABoxes w.r.t. static (\mathcalEL) TBoxes (2021)
- Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian: Pay-as-you-go consequence-based reasoning for the description logic (\mathcalSROIQ) (2021)
- Jiang, Yuncheng: A formal model of semantic computing (2019)
- Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
- Ecke, Andreas; Peñaloza, Rafael; Turhan, Anni-Yasmin: Similarity-based relaxed instance queries (2015)
- Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic (\mathcalEL) (2014)