KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. KAON2 provides the following features: An API for programmatic management of OWL-DL, SWRL, and F-Logic ontologies, A stand-alone server providing access to ontologies in a distributed manner using RMI, An inference engine for answering conjunctive queries (expressed using SPARQL syntax), A DIG interface, allowing access from tools such as Protégé, A module for extracting ontology instances from relational databases.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan: Inconsistency-tolerant reasoning with OWL DL (2014)
- Lukácsy, Gergely; Szeredi, Péter: Efficient description logic reasoning in Prolog: The DLog system (2009)
- Qi, Guilin; Pan, Jeff Z.; Ji, Qiu: Extending description logics with uncertainty reasoning in possibilistic logic (2007)
- Motik, Boris; Sattler, Ulrike: A comparison of reasoning techniques for querying large description logic aboxes (2006)
Further publications can be found at: http://kaon2.semanticweb.org/#literature