Graph-Based Ontology Reasoning for Formal Verification of BREEAM Rules

Cognitive Systems Research - Netherlands
doi 10.1016/j.cogsys.2018.12.011
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Ontology-Based Fuzzy-Syllogistic Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

An Ontology-Based Similarity Measurement for Problem-Based Case Reasoning

Expert Systems with Applications
EngineeringComputer Science ApplicationsArtificial Intelligence
2009English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

A Reasoning-Based Support Tool for Ontology Mapping Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Graph-Based Ontology Construction From Heterogenous Evidences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

An Improved Graph Based Method for Extracting Association Rules

International Journal of Software Engineering & Applications
2015English

Formal Based Verification to Build Safer Cars

International Journal of Computer Applications
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy