Reference health
Improving OWL RL Reasoning in N3 by Using Specialized Rules
7/7 checkable references clean · checked 2026-07-24
Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.
13 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.
The 7 checked references that resolve
resolves10.1007/978-3-319-21542-6_9
Semantics of Notation3 Logic: A Solution for Implicit Quantification
resolves10.1109/ICDE.2008.4497533
Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle
The 13 references without a DOI — listed, not checked
no DOI — not checkedFuXi 1.4: A Python-based, bi-directional logical reasoning system for the semantic web. http://code.google.com/p/fuxi/
no DOI — not checkedBerners-Lee, T.: $$cwm$$ c w m (2000–2009). http://www.w3.org/2000/10/swap/doc/cwm.html
no DOI — not checkedBerners-Lee, T., Connolly, D.: Notation3 (N3): A readable RDF syntax. In: W3C Team Submission, March 2011. http://www.w3.org/TeamSubmission/n3/
no DOI — not checkedBishop, B., Bojanov, S.: Implementing OWL 2 RL and OWL 2 QL rule-sets for OWLIM. In: OWLED, vol. 796 (2011)
no DOI — not checkedCalvanese, D., Carroll, J., Di Giacomo, G., Hendler, J., Herman, I., Parsia, B., Patel-Schneider, P.F., Ruttenberg, A., Sattler, U., Schneider, M.: OWL 2 web ontology language profiles 2nd edn. In: W3C Recommendation, December 2012. www.w3.org/TR/owl2-profiles/
no DOI — not checkedCyganiak, R., Wood, D., Lanthaler, M.: RDF 1.1: Concepts and Abstract Syntax. In: W3C Recommendation, February 2014. http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/
no DOI — not checkedDe Roo, J.: Euler yet another proof engine (1999–2015). http://eulersharp.sourceforge.net/
no DOI — not checkedDe Roo, J.: EYE and OWL 2 (1999–2015). http://eulersharp.sourceforge.net/2003/03swap/eye-owl2.html
no DOI — not checkedDeclerck, T., Krieger, H.U.: Translating XBRL into description logic. an approach using protege, sesame & OWL. In: BIS, pp. 455–467 (2006)
no DOI — not checkedHorrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML. In: W3C Member Submission, 21 May 2004. http://www.w3.org/Submission/SWRL/
no DOI — not checkedOngenae, F., Bleumes, L., Sulmon, N., Verstraete, M., Van Gils, M., Jacobs, A., De Zutter, S., Verhoeve, P., Ackaert, A., De Turck, F.: Participatory design of a continuous care ontology: towards a user-driven ontology engineering methodology. In: Proceedings of the Knowledge Engineering and Ontology, pp. 81–90 (2011)
no DOI — not checkedParsia, B., Sirin, E.: Pellet: An OWL DL reasoner. In: Proceedings of the Third International Semantic Web Conference (2004)
no DOI — not checkedShearer, R., Motik, B., Horrocks, I.: Hermit: a highly-efficient OWL reasoner. In: OWLED, vol. 432, p. 91 (2008)
What this badge says. CiteStamped means the CHECKABLE references of this
work were clean at the dated check: each resolved to a known work in a public registry, and none
carried a retraction notice at that time. It says nothing about the quality, findings,
or importance of the work itself, and nothing about references deposited without a DOI.
checked 2026-07-24 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record
Embed this badge
Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.
<a href="https://citestamp.com/citestamped/10.1007/978-3-319-33245-1_10"><img src="https://citestamp.com/citestamped/10.1007/978-3-319-33245-1_10/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[](https://citestamp.com/citestamped/10.1007/978-3-319-33245-1_10)