Paraconsistent OWL and related logics
Frederick W. Maier, Yue Ma, Pascal Hitzler · Semantic Web · 2013
The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontolo