Towards SMT-based Abstract Planning in PlanICS Ontology Topics: Process Knowledge and Semantic Services; Semantic Web In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 0IC3K, 123-131, 2013 , Vilamoura, Algarve, Portugal