Ontology of Offers According to Ingarden’s Theory of Individual Objects Topics: Knowledge Representation and Reasoning; Ontologies In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 429-432, 2013 , Barcelona, Spain