77 citations · 201 across the 11 of their papers we have counts for
1 paper · 2 filters
Dominik Tomaszuk
This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, whi…