Amanote Research
Register
Sign In
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
doi 10.1109/wi.2006.28
Full Text
Open PDF
Abstract
Available in
full text
Date
December 1, 2006
Authors
Jie Bao
Doina Caragea
Vasant Honavar
Publisher
IEEE
Related search
Tableau-Based Theorem Proving for Representation and Reasoning.
Federated Critical Infrastructure Simulators: Towards Ontologies for Support of Collaboration
Modular Reasoning for Actor Specification Diagrams
A Method of Contrastive Reasoning With Inconsistent Ontologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using AberOWL for Fast and Scalable Reasoning Over BioPortal Ontologies
Journal of Biomedical Semantics
Computer Networks
Computer Science Applications
Health Informatics
Information Systems
Communications
Modular Reuse of Ontologies: Theory and Practice
Journal of Artificial Intelligence Research
Artificial Intelligence
A Sarsa(λ) Algorithm Based on Double-Layer Fuzzy Reasoning
Mathematical Problems in Engineering
Mathematics
Engineering
Decentralized Reasoning on a Network of Aligned Ontologies With Link Keys
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
OntoJIT: Exploiting CLR Compiler Support for Performing Entailment Reasoning Over Executable Ontologies
International Journal of Knowledge Engineering
