Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor of the previous RacerPro system. For those of you who used the previous web site it is important to note that Racer is now freely available, there are no network or runtime limitations. An open source version of Racer is available at Github.com. Racer can easily be installed via Quicklisp (http://quicklisp.org) with (ql:quickload ”racer”). Note that Racer requires ASDF 2.32. This is relevant for Lispworks, for which also (setf asdf::*default-encoding* :default) should be evaluated. Racer is distributed under the following BSD 3-clause license. For downloading Racer as a server application, its APIs and documentation, just click the download tab. Racer provides implementations of standard reasoning problems for T-boxes and A-boxes. In addition, some non-standard inference services are provided, such as, e.g., logical abduction. Racer also provides the powerful and semantically well-defined conjunctive query language nRQL (new Racer Query Language, to be pronounced as niracle and heard as miracle), which also supports negation as failure, numeric constraints w.r.t. attribute values of different individuals, substring properties between string attributes, etc. It has convenient APIs for accessing its reasoning services from within Common Lisp and Java.

References in zbMATH (referenced in 66 articles , 1 standard article )

Showing results 1 to 20 of 66.
Sorted by year (citations)

1 2 3 4 next

  1. Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian: Pay-as-you-go consequence-based reasoning for the description logic (\mathcalSROIQ) (2021)
  2. Jiang, Yuncheng: A formal model of semantic computing (2019)
  3. Nalon, Cláudia; Pattinson, Dirk: A resolution-based calculus for preferential logics (2018)
  4. Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel: From description-logic programs to multi-context systems (2017)
  5. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  6. Ecke, Andreas; Peñaloza, Rafael; Turhan, Anni-Yasmin: Similarity-based relaxed instance queries (2015)
  7. Hidalgo-Doblado, M. J.; Alonso-Jiménez, J. A.; Borrego-Díaz, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.: Formally verified tableau-based reasoners for a description logic (2014)
  8. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)
  9. Nikitina, Nadeschda; Rudolph, Sebastian: (Non-)succinctness of uniform interpolants of general terminologies in the description logic (\mathcalEL) (2014)
  10. Zhou, Yu; Ma, Xiaoxing; Gall, Harald: A middleware platform for the dynamic evolution of distributed component-based systems (2014) ioport
  11. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  12. Zuo, Ming; Haarslev, Volker: Intelligent tableau algorithm for DL reasoning (2013)
  13. Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele: Automated reasoning in (\mathcalALCQ) via SMT (2011)
  14. Kaminski, Mark; Schneider, Thomas; Smolka, Gert: Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics (2011)
  15. Klarman, Szymon; Endriss, Ulle; Schlobach, Stefan: ABox abduction in the description logic (\mathcalALC) (2011)
  16. Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin: Small is again beautiful in description logics (2010) ioport
  17. Baader, Franz; Peñaloza, Rafael: Automata-based axiom pinpointing (2010)
  18. Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio: GeoMergeP: geographic information integration through enriched ontology matching (2010)
  19. Cuenca Grau, Bernardo; Halaschek-Wiener, Christian; Kazakov, Yevgeny; Suntisrivaraporn, Boontawee: Incremental classification of description logics ontologies (2010)
  20. Götzmann, Daniel; Kaminski, Mark; Smolka, Gert: Spartacus: a tableau prover for hybrid logic (2010) ioport

1 2 3 4 next

Further publications can be found at: http://www.ifis.uni-luebeck.de/~moeller/racer/publications.html