Ken Kaneiwa

Yota Minami

Int. J. Data Sci. Anal., March, 2025

2024

The completeness of reasoning algorithms for clause sets in description logic ALC.

[BibT_eX]

[DOI]

Daiki Takahashi

Knowl. Based Syst., 2024

A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction.

[BibT_eX]

[DOI]

Yukihiro Shiraishi

CoRR, 2024

Predicting from a Different Perspective: A Re-ranking Model for Inductive Knowledge Graph Completion.

[BibT_eX]

[DOI]

Yuki Iwamoto

Proceedings of the PRICAI 2024: Trends in Artificial Intelligence, 2024

Efficient Index Structures for Query Solutions on RDF Graphs.

[BibT_eX]

[DOI]

Koji Fujiwara

Proceedings of the 9th IEEE/ACIS International Conference on Big Data, 2024

2023

Block-segmentation vectors for arousal prediction using semi-supervised learning.

[BibT_eX]

[DOI]

Yuki Odaka

Appl. Soft Comput., 2023

Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks.

[BibT_eX]

[DOI]

Yuga Oishi

IEEE Access, 2023

Hierarchical Model Selection for Graph Neural Networks.

[BibT_eX]

[DOI]

Yuga Oishi

IEEE Access, 2023

2022

Hierarchical Model Selection for Graph Neural Netoworks.

[BibT_eX]

[DOI]

Yuga Oishi

CoRR, 2022

Skip Vectors for RDF Data: Extraction Based on the Complexity of Feature Patterns.

[BibT_eX]

[DOI]

Yota Minami

CoRR, 2022

2015

A Logical and Ontological Framework for Compositional Concepts of Objects and Properties.

[BibT_eX]

[DOI]

New Gener. Comput., 2015

2014

Event Inference with Relation and Meta-Relation Type Hierarchies in Conceptual Structure Theory.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2014

2013

An order-sorted query system for sort, predicate, and meta-predicate hierarchies.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2013

Reasoning about Resources and Information: A Linear Logic Approach.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence.

[BibT_eX]

[DOI]

Michiaki Iwazume

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

2012

KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery.

[BibT_eX]

[DOI]

Michiaki Iwazume

Ichiro Kobayashi

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

Sorted hyper-predicate knowledge bases for ontologies and rules.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Paraconsistent Computation Tree Logic.

[BibT_eX]

[DOI]

New Gener. Comput., 2011

Existential rigidity and many modalities in order-sorted logic.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2011

Conceptual modeling in full computation-tree logic with sequence modal operator.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2011

A sequential pattern mining algorithm using rough set theory.

[BibT_eX]

[DOI]

Yasuo Kudo

Int. J. Approx. Reason., 2011

A Time and Situation Dependent Semantics for Ontological Property Classification.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2011

A rough set approach to multiple dataset analysis.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2011

An attempt of reconstruction of object-oriented rough set models.

[BibT_eX]

[DOI]

Yasuo Kudo

Tetsuya Murai

Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010

On the complexities of consistency checking for restricted UML class diagrams.

[BibT_eX]

[DOI]

Ken Satoh

Theor. Comput. Sci., 2010

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2010

A rough set approach to mining connections from information systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Paraconsistent Negation and Classical Negation in Computation Tree Logic.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Local Pattern Mining from Sequences Using Rough Set Theory.

[BibT_eX]

[DOI]

Yasuo Kudo

Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

Resource-Sensitive Reasoning with Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Distributed reasoning with ontologies and rules in order-sorted logic programming.

[BibT_eX]

[DOI]

J. Web Semant., 2009

Meta-relation and ontology closure in Conceptual Structure Theory.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2009

Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.

[BibT_eX]

[DOI]

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Evaluation data and prototype system WISDOM for information credibility analysis.

[BibT_eX]

[DOI]

Internet Res., 2008

KC3 browser: semantic mash-up and link-free browsing.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on World Wide Web, 2008

An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory.

[BibT_eX]

[DOI]

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007

Description Logics with Contraries, Contradictories, and Subcontraries.

[BibT_eX]

[DOI]

New Gener. Comput., 2007

An Upper Ontology for Event Classifications and Relations.

[BibT_eX]

[DOI]

Michiaki Iwazume

Ken Fukuda

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2006

Contradiction Finding and Minimal Recovery for UML Class Diagrams.

[BibT_eX]

[DOI]

Ken Satoh

Takeaki Uno

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Consistency Checking Algorithms for Restricted UML Class Diagrams.

[BibT_eX]

[DOI]

Ken Satoh

Proceedings of the Foundations of Information and Knowledge Systems, 2006

2005

A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases.

[BibT_eX]

[DOI]

New Gener. Comput., 2005

An Order-Sorted Quantified Modal Logic for Meta-ontology.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

On the Semantics of Classical First-order Logic with Constructive Double Negation.

[BibT_eX]

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

2004

The completeness of logic programming with sort predicates.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2004

Resolution for Label-based Formulas in Hierarchical Representation.

[BibT_eX]

[DOI]

New Gener. Comput., 2004

Order-sorted logic programming with predicate hierarchy.

[BibT_eX]

[DOI]

Artif. Intell., 2004

Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Description Logic and Order-sorted Logic.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Occurrence Logic with Temporal Heredity.

[BibT_eX]

Suguru Yoshioka

Satoshi Tojo

Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

2001

An Order-Sorted Resolution with Implicitly Negative Sorts.

[BibT_eX]

[DOI]

Satoshi Tojo

Proceedings of the Logic Programming, 17th International Conference, 2001

1999

Event, Property, and Hierarchy in Order-Sorted Logic.

[BibT_eX]