José Júlio Alferes
OWL Web data mining data semantics formal methods formal reasoning knowlege extraction knowlege processing logic languages metadate processing ontologies query processing semantic Web semantic Web mining semantic reasoning