Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search
Log in
Help / Tips
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
About Confluence
Search
Quick Search
Hit enter to search
Magic Concept Modeler 2024x Refresh2
Content
Pages
Blog
Scroll Documents
Space Tools
Settings
Content Tools
Unable to load page tree. It seems that you do not have permission to view the root page.
191933856
MCM2024xR2
3
Edit profile
View Page
Document toolbox
A
t
tachments (1)
Page History
Page Information
View in Hierarchy
View Source
Export to PDF
Export to Word
Export to HTML
Export to PDF
Copy Page Tree
Breadcrumbs
Pages
Magic Concept Modeler Documentation
UML to Equivalent OWL in OWL Functional Syntax
Page Information
Title:
UML to Equivalent OWL in OWL Functional Syntax
Author:
Ranveersinha A.
May 24, 2023
Last Changed by:
Agne P.
Jan 31, 2024
Tiny Link:
(useful for email)
https://docs.nomagic.com/x/oK1wCw
Export As:
Word
·
PDF
Incoming Links
Magic Concept Modeler 2024x Refresh2 (30)
Page:
Anonymous union class
Page:
Class with subproperty
Page:
Class generalization
Page:
Class with universal quantification constraint on property II
Page:
Property holder with self-referential object property
Page:
Class with universal quantification constraint on property I
Page:
Equivalent property
Page:
Class with Self-Referential Object Property
Page:
Generalization with subclass completeness
Page:
Disjoint classes
Page:
Class with necessary and sufficient property
Page:
Property holder with self-referential subproperty
Page:
Class with existential quantification constraint on property
Page:
Asymmetrical inverse property
Page:
Property holder with subproperty
Page:
Class with Datatype property
Page:
Equivalent class
Page:
Setting the concept model export syntax
Page:
Class with property having unspecified multiplicity
Page:
Property holder with datatype property
Page:
Property holder with object property
Page:
Class with inverse property
Page:
Class with subproperty without a range
Page:
Class
Page:
Generalization with disjoint subclasses
Page:
Magic Concept Modeler Capabilities
Page:
Annotation and annotation property
Page:
Class with object property
Page:
Property chains
Page:
Class with object property without range
Hierarchy
Parent Page
Home page:
Magic Concept Modeler Documentation
Children (40)
Page:
Class
Page:
Class generalization
Page:
Class with Datatype property
Page:
Class with object property
Page:
Class with Self-Referential Object Property
Page:
Class with object property without range
Page:
Class with subproperty
Page:
Class with universal quantification constraint on property I
Page:
Class with universal quantification constraint on property II
Page:
Class with existential quantification constraint on property
Show all...
Page:
Class with subproperty without a range
Page:
Class with necessary and sufficient property
Page:
Class with property having unspecified multiplicity
Page:
Class with inverse property
Page:
Class with Asymmetric Object Property
Page:
Class with Functional Object Property
Page:
Class with Inverse Functional Object Property
Page:
Class with Irreflexive Object Property
Page:
Class with Reflexive Object Property
Page:
Class with symmetric object property
Page:
Class with Transitive Object Property
Page:
Generalization with disjoint subclasses
Page:
Generalization with subclass completeness
Page:
Anonymous union class
Page:
Association classes
Page:
Property holder with datatype property
Page:
Property holder with self-referential object property
Page:
Property holder with object property
Page:
Property holder with self-referential subproperty
Page:
Property holder with subproperty
Page:
Property with a maximum but no minimum cardinality
Page:
Property with multiple domains and ranges
Page:
Annotation and annotation property
Page:
Asymmetrical inverse property
Page:
Disjoint classes
Page:
Property chains
Page:
Equivalent property
Page:
Equivalent class
Page:
Property restriction from a different namespace
Page:
Necessary and sufficient conditions of anonymous subclasses
Hide...
Labels
Global Labels (3)
owl
owl-functional-syntax
owl-ontology
Recent Changes
Time
Editor
Jan 31, 2024 14:23
Agne P.
View Page History
Outgoing Links
Magic Concept Modeler 2024x Refresh2 (3)
Page:
Setting the concept model export syntax
Page:
Exporting your concept model to an OWL ontology
Page:
Usage
null