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