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
Available Gadgets
About Confluence
Search
Quick Search
Hit enter to search
Cameo Concept Modeler Plugin 19.0 SP2
Content
Pages
Blog
Space Tools
Settings
Content Tools
47100844
CCMP190SP2
3
View Page
A
t
tachments (1)
Page History
Page Information
View in Hierarchy
View Source
Export to PDF
Export to HTML
Export to Word
Export to PDF
Copy Page Tree
Breadcrumbs
Pages
…
Cameo Concept Modeler Documentation
UML to Equivalent OWL in OWL Functional Syntax
Necessary and sufficient conditions of anonymous subclasses
Page Information
Title:
Necessary and sufficient conditions of anonymous subclasses
Author:
user-7bda2
Aug 19, 2019
Last Changed by:
Ranveersinha A.
Sept 06, 2022
Tiny Link:
(useful for email)
https://docs.nomagic.com/x/rLPOAg
Export As:
Word
·
PDF
Incoming Links
Cameo Concept Modeler Plugin 19.0 SP2 (50)
Page:
Complement subset of Complement
Page:
Intersection subset of an Intersection
Page:
Restriction subset of Intersection
Page:
Union subset of Class
Page:
Union subset of Union
Page:
Class subset of Complement
Page:
Complement subset of Class
Page:
Intersection equivalent to Complement
Page:
Restriction disjoint with Intersection
Page:
Restriction disjoint with Restriction
Page:
Complement equivalent to Complement
Page:
Restriction disjoint with Class
Page:
Restriction subset of Complement
Page:
Restriction subset of Restriction
Page:
Complement subset of Restriction
Page:
Complement has member Restriction
Page:
Intersection subset of a Restriction
Page:
Intersection disjoint with a Restriction
Page:
Union has member Complement
Page:
Intersection equivalent to an Intersection
Page:
Complement subset of Union
Page:
Complement disjoint with Union
Page:
Intersection disjoint with Complement
Page:
Complement equivalent to Restriction
Page:
Restriction subset of Class
Page:
Class subset of Restriction
Page:
Union equivalent to Union
Page:
Intersection subset of Complement
Page:
Union subset of Intersection
Page:
Union subset of Complement
Page:
Complement disjoint with Intersection
Page:
Restriction disjoint with Complement
Page:
Class disjoint with Restriction
Page:
Class equivalent to Restriction
Page:
Intersection equivalent to a Restriction
Page:
Restriction disjoint with Union
Page:
Intersection subclass of Class
Page:
Union equivalent to Complement
Page:
Restriction subset of Union
Page:
Complement subset of Intersection
Page:
Complement has member Complement
Page:
Union disjoint with Complement
Page:
Complement disjoint with Restriction
Page:
Union disjoint with Restriction
Page:
Union equivalent to Restriction
Page:
Restriction equivalent Restriction
Page:
Intersection equivalent to Union
Page:
Class subset of Union
Page:
Union subset of Restriction
Page:
Intersection subset of Union
Hierarchy
Parent Page
Page:
UML to Equivalent OWL in OWL Functional Syntax
Children (85)
Page:
Intersection subset of Union
Page:
Intersection equivalent to Union
Page:
Intersection subset of a Restriction
Page:
Intersection equivalent to a Restriction
Page:
Intersection disjoint with a Restriction
Page:
Intersection subset of an Intersection
Page:
Intersection equivalent to an Intersection
Page:
Intersection subset of Complement
Page:
Intersection equivalent to Complement
Page:
Intersection disjoint with Complement
Show all...
Page:
Intersection subclass of Class
Page:
Union subset of Union
Page:
Union equivalent to Union
Page:
Union subset of Restriction
Page:
Union equivalent to Restriction
Page:
Union disjoint with Restriction
Page:
Union subset of Intersection
Page:
Union subset of Complement
Page:
Union equivalent to Complement
Page:
Union has member Complement
Page:
Union disjoint with Complement
Page:
Union subset of Class
Page:
Complement subset of Union
Page:
Complement disjoint with Union
Page:
Complement subset of Restriction
Page:
Complement subset of Intersection
Page:
Complement disjoint with Restriction
Page:
Complement has member Restriction
Page:
Complement equivalent to Restriction
Page:
Complement disjoint with Intersection
Page:
Complement subset of Complement
Page:
Complement equivalent to Complement
Page:
Complement has member Complement
Page:
Complement subset of Class
Page:
Restriction subset of Union
Page:
Restriction disjoint with Union
Page:
Restriction subset of Restriction
Page:
Restriction equivalent Restriction
Page:
Restriction disjoint with Restriction
Page:
Restriction subset of Intersection
Page:
Restriction disjoint with Class
Page:
Restriction subset of Class
Page:
Restriction disjoint with Complement
Page:
Restriction subset of Complement
Page:
Restriction disjoint with Intersection
Page:
Class subset of Union
Page:
Class subset of Restriction
Page:
Class equivalent to Restriction
Page:
Class disjoint with Restriction
Page:
Class subset of Complement
Page:
Class disjoint with Class
Page:
Class disjoint with Complement
Page:
Class disjoint with Intersection
Page:
Class disjoint with Union
Page:
Class equivalent to Class
Page:
Class subset of Class
Page:
Class subset of Intersection
Page:
Complement disjoint with Class
Page:
Complement disjoint with Complement
Page:
Complement equivalent to Class
Page:
Complement has member Class
Page:
Complement has member Intersection
Page:
Complement has member Union
Page:
Intersection disjoint with Class
Page:
Intersection disjoint with Intersection
Page:
Intersection disjoint with Union
Page:
Intersection equivalent to Class
Page:
Intersection has member Class
Page:
Intersection has member Complement
Page:
Intersection has member Intersection
Page:
Intersection has member Restriction
Page:
Intersection has member Union
Page:
Restriction has member Class
Page:
Restriction has member Complement
Page:
Restriction has member Intersection
Page:
Restriction has member Restriction
Page:
Restriction has member Union
Page:
Union disjoint with Class
Page:
Union disjoint with Intersection
Page:
Union disjoint with Union
Page:
Union equivalent to Class
Page:
Union has member Class
Page:
Union has member Intersection
Page:
Union has member Restriction
Page:
Union has member Union
Hide...
Labels
There are no labels assigned to this page.
Recent Changes
Time
Editor
Sept 06, 2022 09:36
Ranveersinha A.
View Changes
Reverted from v. 1
Sept 06, 2022 09:35
Ranveersinha A.
View Changes
Sept 06, 2022 09:34
Ranveersinha A.
View Changes
Aug 19, 2019 20:25
user-7bda2
View Page History
null