Ontology Modeling for Contract: Using OWL to Express Semantic Relations | IEEE Conference Publication | IEEE Xplore