Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Welty, C., Fikes, R., Makarios, S.: A reusable ontology for fluents in OWL. Research Report RC23755 (W0510-142), IBM (2005)
2. Lutz, C.: Combining interval-based temporal reasoning with general TBoxes. Artificial Intelligence 152(2), 235–274 (2004)
3. Schmidt-Schauß, M.: Subsumption in KL-ONE is Undecidable. Technical Report SEKI SR-88-13, Universität Kaiserslautern, FB Informatik (1988)
4. Sider, T.: Four Dimensionalism. An Ontology of Persistence and Time. Oxford University Press, Oxford (2001)
5. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献