Keyphrases
Concept Diagram
80%
Ontology
80%
Description Logics
42%
Euler Diagrams
40%
Inference Rules
39%
Binary Relation
33%
Reasoning Tasks
33%
Existential Import
30%
Spatial Representation
30%
Topological Representation
30%
Graph Representation
30%
Diagrammatic Logic
28%
Manchester OWL Syntax
27%
Observational Advantage
25%
OWL2
22%
Unary Relation
22%
Topological Constraints
22%
Ontology Engineering
22%
Diagrammatic Methods
21%
Symbolic Notation
21%
Textual Notation
18%
Free Ride
17%
Attestation
15%
Data Properties
15%
Human Inference
15%
Consistency Checking
15%
Graph-like
15%
Practical Setting
15%
Graphic Representation
15%
Node-link Diagram
15%
Deductive Reasoning
15%
Property Diagram
15%
Anti-patterns
15%
Network Applications
15%
Diagrammatic Notation
15%
Computer Science
15%
Spider Diagram
15%
Clutter Removal
15%
User Understanding
15%
Visual Logic
15%
Computer System
15%
Spatial Constraints
15%
Cognitive Science
15%
Set-based
15%
Theorem Prover
15%
Inconsistency
12%
Nokia
12%
Information Representation
11%
Hierarchical Relations
11%
Interactive Theorem Prover
10%
Product Release
10%
Cognitive Benefits
10%
Data Handling
10%
Domain Model
10%
Mathematical Modeling
10%
Formal Reasoning
10%
Incoherence
9%
Set-theoretic
8%
Set Theory
8%
Ontology Axioms
8%
Conceptual Network
7%
Modeling Rule
7%
Domain Rules
7%
Generic Patterns
7%
Remote Attestation
7%
General Systems
7%
Large Coverage
7%
Object Properties
7%
Data Objects
7%
Small Step
7%
Precise Modeling
7%
Trust Level
7%
Motivation
7%
Complex Concepts
7%
Property Concepts
7%
Monadic First-order Logic
7%
High-tech
7%
Expressive Power
7%
Network Function Virtualization
7%
Effective Means
7%
Knowledge Model
7%
System Requirements
7%
Provided Support
7%
Visualization Method
7%
Modeling Approach
7%
Task Performance
7%
Symbolic Description
7%
Between-group
7%
Debugging
6%
Reasoning System
6%
Cambridge University
6%
Diagrammatic Reasoning
6%
Diagrammatic Representation
6%
Non-expert
5%
Published Results
5%
OWL Axioms
5%
Group Studies
5%
Logic Diagrams
5%
People's Needs
5%
Computer Science
Ontology
100%
Description Logics
60%
Convey Information
45%
Reasoning Task
33%
Spatial Representation
30%
Ontology Engineering
30%
Graphical Representation
30%
Binary Relation
30%
Theorem Prover
22%
Unary Relation
22%
Inference Rule
20%
Graph-Based Representation
15%
visualization method
15%
Expressive Power
15%
consistency checking
15%
Deductive Reasoning
15%
Computer System
15%
Set Theory
15%
Computer Science
15%
Data Handling
10%
Product Release
10%
Cognitive Benefit
10%
Mathematical Modeling
10%
Formal Reasoning
10%
Formalization
9%
Generic Pattern
7%
Network Function Virtualization
7%
System Requirement
7%
Extended Version
7%
Task Performance
7%
Reasoning System
6%
Diagrammatic Reasoning
6%