Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
Semantic-based logic representation and reasoning for automated regulatory compliance checking
Jiansong Zhang,
Nora M. El-Gohary
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Semantic-based logic representation and reasoning for automated regulatory compliance checking'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Logical Reasoning
100%
Automated Compliance Checking
100%
Regulatory Compliance Checking
100%
Semantic Bases
100%
Logic Representation
100%
Design Information
75%
First-order Logic
50%
Information Representation
50%
Imperfect Information
50%
Information Compliance
50%
Perfect Information
50%
Closed World Assumption
50%
Subschema
50%
Duplex
25%
Performance Results
25%
Styles of Reasoning
25%
Logic-based
25%
Regulatory Compliance
25%
Apartment
25%
Lack of Support
25%
International Building Code
25%
Building Design
25%
Regulatory Requirements
25%
Ontological Basis
25%
Open-world Assumption
25%
Computer Science
Regulatory Compliance
100%
Design Information
100%
Information Representation
66%
Perfect Information
66%
Closed World Assumption
66%
Ontology
33%
Regulatory Requirement
33%
Open World Assumption
33%