Learn More
The standard semantics employed for description logics (DLs) adheres to the open world assumption (OWA). On one hand, such an assumption facilitates a modeler to formally represent problem domains(More)