-*- org -*-
use boost::spirit to parse (U)CQs in the external atoms fuse the dispatching code in AtomSeparator.cpp and QueryCtx.cpp
If the path to the owl file has a blank then there will be an error from the external atom. &dlDR and dlX in a rule will be pushed together Datatype roles are handled very weird in Racer: adding datatype
support to (U)CQs should fix this problem.
If there is a TBox with an absolute pathname as name, we dump “/” to std::cerr (see (all-tboxes)) enhance doxygen documentation Remove Abox handling, use (retrieve-under-premise)? if someone queries a non-occuring individual RacerPro sends an error good, bad?
fuse PluginAtom::Query + dlvhex::dl::racer::Query somehow? Answer class is suboptimal (bool vs. tuples) maybe boost::invariant can help in this respect.
the current handling of dl- and (u)cq-queries is suboptimal
(checking the pointers in DLQuery is errorprone).
check boolean/retrieval caching make Answer/Query classes more generic on startup, read UNA status of the DL-reasoner if una is turned on, disable it when –dlsetup=-una.
add all LP constants to the TBox via {c1,…,cn} \sqsubseteq \top, alternatively add them by means of
ABox assertions c1,c2,…,cn ∈ \top.
–kb-reload always reloads the DL-KB. implement ¬ R(a,b) in \uminus as { A(a), B(b), ∃ R.A \sqsubseteq ¬ B }