学位

• 博士(情報科学)()

経歴

学歴

受賞

• 研究会優秀賞（知識ベースシステム研究会）
• 研究奨励賞（人工知能と知識処理研究会）
• 研究会優秀賞（セマンティックウェブとオントロジー研究会）
• 論文賞（2005年度人工知能学会論文誌）

その他

論文

• Efficient Index Structures for Query Solutions on RDF Graphs
• The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC
• Embedding Models with Inverted-index and Co-occurrence Matrices for Ontology Subsumption Prediction
• Feature Selection Based on the Complexity of Structural Patterns in RDF Graphs
• Block-segmentation vectors for arousal prediction using semi-supervised learning [DOI]
• Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks [DOI] [Othres link]
• 複数の大規模RDFデータセットからの同値関係による集結パス検索
• 重複排除を含むSPARQLクエリの等価変換と計算量
• Hierarchical Model Selection for Graph Neural Networks [DOI] [Othres link]
• 極小RDF推論に基づく記述論理SROIQの概念生成
• RDFグラフの多様性に対する汎用カーネル関数
• RDF データに対するグラフパターンマイニング
• 大規模RDFグラフに対するインデックス付きデータ圧縮と高速検索
• RDFグラフの冗長な特徴表現に対するカーネル関数とその高速計算
• A Logical and Ontological Framework for Compositional Concepts of Objects and Properties [DOI] [Web of Scientce]
• 大規模RDFグラフのための効率的なクエリ解決
• RDFデータの極小モデル推論に基づく記述論理ALCH(D) の概念学習
• Event Inference with Relation and Meta-relation Type Hierarchies in Conceptual Structure Theory
• Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence
• An order-sorted query system for sort, predicate, and meta-predicate hierarchies [DOI] [Web of Scientce]
• Reasoning about Resources and Information: A Linear Logic Approach
• Existential rigidity and many modalities in order-sorted logic [DOI] [CiNii Research (CiNii Articles)] [Othres link]
• A rough set approach to multiple dataset analysis [DOI] [CiNii Research (CiNii Articles)] [Othres link]
• A Time and Situation Dependent Semantics for Ontological Property Classification [DOI] [Web of Scientce]
• Paraconsistent Computation Tree Logic
• セマンティックWeb のためのイベントオントロジー
• On the complexities of consistency checking for restricted UML class diagrams [DOI] [Web of Scientce]
• Distributed reasoning with ontologies and rules in order-sorted logic programming [DOI] [Web of Scientce]
• Decidable order-sorted logic programming for ontologies and rules with argument restructuring [DOI]
• Contradiction Finding and Minimal Recover for UML class diagrams [DOI]
• Consistency checking algorithms for restricted UML class diagrams [DOI]
• Formal Ontology and Extensions of Order-Sorted Logic [DOI]
• An order-sorted quantified modal logic for meta-ontology [DOI]
• Order-sorted logic programming with predicate hierarchy [CiNii Research (CiNii Articles)] [DOI] [Web of Scientce]
• オントロジー構築に対する概念階層の整合性 [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link] [Othres link]
• Occurrence Logic with Temporal Heredity. [DBLP] [CiNii Research (CiNii Articles)] [Othres link]
• An Order-Sorted Resolution with Implicitly Negative Sorts. [DOI] [DBLP] [CiNii Research] [Othres link] [Scopus] [Scopus]
• Event and property in order-sorted logic [Scopus] [Scopus]

その他業績

• DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕) [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]

講演・口頭発表等

• オントロジーの論理構造と語彙情報を考慮した概念包含のための埋め込み学習
• 確率的除去を組み込んだ検索拡張された言語モデルによる帰納的関係予測
• 概念包含の論理的推論に対するロール埋め込み手法
• グラフ構造のIGR多重特徴化によるグラフニューラルネットワーク
• 大規模RDFグラフに対する効率的なクエリ解決と高圧縮なインデックス化
• Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring

書籍等出版物

• セマンティックWebとリンクトデータ
• 記述論理とWebオントロジー言語（知の科学シリーズ）

作品等

共同研究・競争的資金等の研究課題

• セマンティックWebデータの多様性に対する推論と学習の基盤技術
• セマンティックWebデータに対する推論基盤技術の研究開発
• サイバー・フィジカルシステムのためのスケーラブルなセマンティックサービス基盤技術
• 決定ルールと構造オントロジーによる意思決定知識ベースシステム
• パスウェイ知識表現における矛盾検証の理論的解析と技術開発
• 形式オントロジーと矛盾要因に関する研究
• 宣言的プログラミングにおけるソフトウェア発展の研究
• オントロジー指向による論理体系の研究

メディア報道

産業財産権

所属学協会

• 日本データベース学会
• 情報処理学会
• 人工知能学会
• ソフトウェア科学会
• 電子情報通信学会

委員歴

担当経験のある科目

• コンピュータサイエンス実験第二AB
• 基礎プログラミングおよび演習
• データベース論
• 知識データ工学特論
• アルゴリズム・データ構造および演習（夜間開講）
• アルゴリズム・データ構造および演習（夜間開講

社会貢献活動

学術貢献活動