Temporalising EL Concepts with Time Intervals.
Description Logics(2014)
摘要
We design and investigate a new interval based temporal description logic, ELλ, which is based on an Annotated Logic introduced by Kifer, AL, and motivated by life-science applications. We show how a subset of the logic can be captured as the EL fragment of AL, ELAL, and then go on to show how we can extend this representation to capture further temporal entailments. We show that both ELAL and ELλ maintain the same tractable complexity bounds for reasoning as EL and finally provide an example of how the logic can be utilised for the Drosophila developmental ontology.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络