An extension of the ontology web language with multi-viewpoints and probabilistic reasoning