The research team used description logic to formalize the domain concepts and automate consistency checking.
研究チームはドメインの概念を形式化し、整合性チェックを自動化するために記述論理を使用しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
