reasoning

1熱度

1回答

我已經使用Protege 4.1 alpha創建了RDF/OWL文件。我還在Protege中創建了一個名爲CheapPhone的已定義類。該類別具有以下所示的限制： (hasPrice some integer[< 350]) 每當手機的價格低於350時，便推斷爲CheapPhone。在Protege 4.1 alpha中推斷此問題沒有任何問題。但是，我無法用耶拿推斷這一點。我還創建了一

2熱度

2回答

使用Pellet推理器監控推理進度

我目前正在構建一個OWL本體，直到最近使用Pellet推理器進行快速分類。然而，自推出幾個新類以來，推理性能已經放緩。儘管推理者完成了，本體論並沒有包含任何不可理解的概念等，但推理所花費的時間是不可接受的。我目前正在設法追查可能導致經濟放緩的違規班級/班級。這是我的問題：是否有可能記錄Pellet的推理過程？即是否有可能產生一些輸出，用來記錄粒料在特定推理任務/痕跡上花費了多長時間，以及對任何給

1熱度

2回答

比較AC和BC日期

我有一個prolog實現，它允許我使用基於序言的13 Allen的關係表示來比較事件中的時間點。每個事件都有一個起始點（YYYY-MM-DD）和一個終點（YYYY-MM-DD），我可以檢查兩個事件是同時發生還是一個發生在另一個之前等等，直到一天的粒度（例如1555-12-03在1555-12-04之前）。它確實與所謂的交流日期（Anno Domini）有效，但現在我有很多事件發生在公元前（在基督之

-1熱度

2回答

是否存在與Web本體語言兼容的語義反義詞，在Mac上本地運行？

我很好奇這件事，想要試驗。但我是一名Mac用戶，我所能找到的都是基於Java的。我無法在我的Mac上運行Java應用程序，原因不明，我更喜歡本地的東西。我有什麼選擇？

9熱度

3回答

一階邏輯引擎

我想創建一個可以使用一階邏輯進行簡單推理的應用程序。任何人都可以推薦一個可以接受任意數量的FOL表達式的「引擎」，並允許查詢那些表達式（最好通過Python訪問）？