An ontology modeling methodology in requirement analysis | IEEE Conference Publication | IEEE Xplore