Activity Streams is a data format designed to describe activities. Although its specification is written in natural language, its core vocabulary is formally defined in an OWL (Web Ontology Language) ontology. In this work, we propose a set of additional OWL axioms to extend the existing ontology, with the goal of enabling more detailed, precise, and machine-interpretable descriptions of Activity Streams. This enhancement aims to support real-world applications, such as those related to automatic test generation from OWL specifications.
ArpR.SmithB.SpearA. D. (2015). Building ontologies with basic formal ontology. MIT Press.
2.
BaaderF.CalvaneseD.McGuinnessD.NardiD.Patel-SchneiderP. (2003). The description logic handbook: Theory, implementation and applications. Cambridge University Press.
3.
BeckK. (2003 - 2003). Test-driven development: By example. The Addison-Wesley signature series. Boston: Addison-Wesley.
4.
FalboR. (2014). SABiO: Systematic approach for building ontologies. In CEUR workshop proceedings (vol. 1301). CEUR-WS.org.
5.
GangemiA.GuarinoN.MasoloC.OltramariA.SchneiderL. (2002). Sweetening ontologies with dolce. In Proceedings of the 13th international conference on knowledge engineering and knowledge management (EKAW 2002), Volume 2473 of Lecture Notes in Computer Science (pp. 166–181). Springer.
6.
GlimmB.HorrocksI.MotikB.StoilosG.WangZ. (2014). HermiT: An OWL 2 reasoner. Journal of Automated Reasoning, 53(3), 245–269.
LedvinkaM.KřemenP. (2015). JOPA: Accessing ontologies in an object-oriented way. In Proceedings of the 17th international conference on enterprise information systems - Volume 1: ICEIS, (pp. 212–221). INSTICC, SciTePress. ISBN 978-989-758-097-0. https://doi.org/10.5220/0005400302120221
MonfardiniG. K. Q.SalamonJ. S.BarcellosM. P. (2023). Use of competency questions in ontology engineering: A survey. In J. P. A. Almeida, J. Borbinha, G. Guizzardi, S. Link, & J. Zdravkovic (Eds.), Conceptual modeling (pp. 45–64). Cham: Springer Nature Switzerland
11.
SirinE.ParsiaB.GrauB. C.KalyanpurA.KatzY. (2007). Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web5(2), 51–53. https://doi.org/10.1016/j.websem.2007.03.004
