In ontology-based systems that process data stemming from different sources and that is received over time, as in context-aware systems, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology-based query answering. We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic and extend to this setting three inconsistency-tolerant semantics that have been introduced for querying inconsistent description logic knowledge bases. We investigate their complexity for DL-LiteR temporal knowledge bases, and furthermore complete the picture for the consistent case.

財務會計資訊系統是企業基礎且必要的資訊系統，提供內、外部使用者有關企業的經營績效資訊，作為內部經營者的管理依據及外部投資者的決策參考。然而由於法令頻繁的變更及企業本身策略需求的改變，會計資訊系統面臨很高的更新、維護成本。 　　本研究提出一個以本體為基礎的資訊系統架構，首先修改W.E. McCarthy於1982年提出的REA 模型，利用本體工程方法建立財務會計本體，描述企業流程及會計處理知識；再利用規則式系統之技術，於財務會計本體外建立系統存取規則及介面，呈現系統樣貌與功能。於法令變更及需求改變時直接修改本體內容，彈性變更系統內的流程、運作規則，達成減少維護成本、增加彈性之目標。 / Accounting Information System(AIS) is a kind of important system in an enterprise. That provides financial information for users to make decisions. However, accounting principle and manage strategy changing frequently that cause highly maintenance cost. 　　This research proposes an ontology-based system structure. First, we amend the REA model and analyze business processes and accounting rules to build an accounting ontology by ontology engineering. Then, we use the rule-based system skill to develop the system interface. Whenever accounting principle be modified, we update the ontology only. This design promotes the flexibility and decreases the cost.