Reasoning on OWL2 Ontologies with Rules Using Metalogic - Visit Hirankitti; Trang Xuan Mai (My University, 2012)
Keywords: Predicate (mathematical logic); Web Ontology Language; Rule of inference; Semantic Web and Ontologies