Review Comment:
I have read the answers to the reviewers and acknowledge the efforts of the authors in revising the paper. Also, I have read the changed parts of the paper as indicated in the authors' answer letter. While the definitional part appears much cleaner now, having a minimum of justified _real_ definitions, I also acknowledge the comments of the other reviewers.
Either I missed something important or the question of the feasibility of the possibilistic approach is not given, which may be seen as a research outcome, but also only touches the surface of the research question I interpreted from the contents of the paper. My main concern -- also here, maybe I missed something important (cf. bullet points regarding Section 3 below) -- is the handling of identical individuals in different time frames. This might be a limitation of TICO, which was well-justified in the setting TICO was made for, but because of UNA, there should not be two different individuals having the same identity. Doesn't this change the whole idea about the property axioms? I hope to just have missed the reconciliation step of identical individuals. If it is not reconciled, how do you argue for this neglection? I guess, identical individuals in different time frames do not occur in your experiments, but what happens if?
Finally, you state that inclusion/exclusion of property axioms must always adhere to the usefulness in reasoning _to allow the ontology/data to show its full potential_, but any of the experiments has not addressed this point. It is somewhat addressed in the background section, but could be mentioned, at least as a point for future work and how you plan to address this in experiments. Also, further experiments with actual real-world data are more than welcome in the future.
These points lead myself to the decision of a _weak accept_. I wish the authors to address the issues brought up here and, potentially, by the other reviewers as well.
=== Section 3
- what are _sequential RDF facts_, or sets thereof? I guess, in this context, you mean sequences and/or streams of RDF facts that you then combine into sets.
- Def. 2:
- regarding the purpose and the descriptions provided upfront, a timeframe is always finite, so no need for having the word _finite_ in parentheses; I guess, if timeframes were not finite, they could never be used by any framework as input
- although I understand timeframes as finite portions of the RDF stream, the definition also suggests that there are only finitely (i.e., $n$) many of them, contradicting the assumption that such frames are finite portions of a possibly infinite stream
- while streams may be unbounded, meaning of infinite nature, a particular individual is _bound_ to a single time frame (i.e., not bounded); I don't get how you ensure this holds in your setting. Is there a maximum number of facts per time frame or is a time frame just defined as the closure over one or more individuals; if so, in reality, there might be scenarios in which facts about a set of individuals does not arrive _in the expected order_, which lets me conclude that time frames need to be arbitrarily large objects. Is that true?
- the text after Def. 2 suggests that TICO handles the same individuals in different time frames as distinct elements; how does your framework cope with such situations? Is there a posterior alignment involved?
- steams $-->$ stems
- please, consistently use _real-time_; sometimes I see _real time_
- does not entail neither ... nor ... $-->$ does neither entail ... nor ...
- Table 1 is superfluous as the list descriptions are complete and easy to comprehend
|