OntoStudio Manual
Installing OntoStudio
Starting OntoStudio
User Interface
Exit OntoStudio
Uninstall
Additional Information
Preferences
List of Plugins
Extension-point reference for OntoStudio
Extension-point reference for Mapping
Main Features
F-logic
Ontology Navigator
Entity Properties
Instances
Visualizer
Graph View (Print)
Metamodelling
Ontology Validation
F-logic Editor
RDF
Ontology Navigator
Entity Properties
RDF Instances
OWL Editor
The OWL Language
User Interface Overview
Ontology Navigator
Individuals Panel
Entity Properties Panel
Ontology
Classes
Object Properties
Datatype Properties
Annotation Properties
Datatypes
Individuals
Manchester Syntax
Search
Preferences
Using the OWL Editor
Create an Ontology Project
Create an Ontology
Create a Class
Create an Object Property
Create a Datatype Property
Create an Annotation Property
Create an Annotation
Import an Ontology
Export an Ontology
Delete a Resource
Online References
Rule Debug
Debug Monitor
Reference Explorer
Rule Body View
Rule Graph
Tuples
Genetic Optimizer
Ontology Navigator
Queries
Optimization Results
Import
Import of Ontology Files
File System Import
Webdav Import
Edit Webdav
Import of Data Sources
Data Base Schema Import
OB Schema Import
Outlook Import
Meta Data Import
Collocation Import
UML Import
Excel Import
Export
Export of Ontology Files
File System Export
Webdav Export
Export UML
Rule and Query
Ontology Navigator
Entity Properties
Explanation Editor
Query Explanations
Query Results
Graphical Rule Editor
Stylized English
Textual Queries
Regression Test Runner
Materialisation of rules
Integration
Ontology Navigator
Mapping
Excel Annotation
Collaboration
Webservices
BIRT
Sample
Create a new project
Create an ontology
Import an other ontology
Create a concept
Create an attribute
Create a relation
Create an instance
Modeling
Graphical Rule Editor
Textual modeling
Mapping
Report
Input parameters for BIRT
Glossary
Installing OntoStudio
Starting OntoStudio
User Interface
Exit OntoStudio
Uninstall
Additional Information
Preferences
List of Plugins
Extension-point reference for OntoStudio
Extension-point reference for Mapping
Main Features
F-logic
Ontology Navigator
Entity Properties
Instances
Visualizer
Graph View (Print)
Metamodelling
Ontology Validation
F-logic Editor
RDF
Ontology Navigator
Entity Properties
RDF Instances
OWL Editor
The OWL Language
User Interface Overview
Ontology Navigator
Individuals Panel
Entity Properties Panel
Ontology
Classes
Object Properties
Datatype Properties
Annotation Properties
Datatypes
Individuals
Manchester Syntax
Search
Preferences
Using the OWL Editor
Create an Ontology Project
Create an Ontology
Create a Class
Create an Object Property
Create a Datatype Property
Create an Annotation Property
Create an Annotation
Import an Ontology
Export an Ontology
Delete a Resource
Online References
Rule Debug
Debug Monitor
Reference Explorer
Rule Body View
Rule Graph
Tuples
Genetic Optimizer
Ontology Navigator
Queries
Optimization Results
Import
Import of Ontology Files
File System Import
Webdav Import
Edit Webdav
Import of Data Sources
Data Base Schema Import
OB Schema Import
Outlook Import
Meta Data Import
Collocation Import
UML Import
Excel Import
Export
Export of Ontology Files
File System Export
Webdav Export
Export UML
Rule and Query
Ontology Navigator
Entity Properties
Explanation Editor
Query Explanations
Query Results
Graphical Rule Editor
Stylized English
Textual Queries
Regression Test Runner
Materialisation of rules
Integration
Ontology Navigator
Mapping
Excel Annotation
Collaboration
Webservices
BIRT
Sample
Create a new project
Create an ontology
Import an other ontology
Create a concept
Create an attribute
Create a relation
Create an instance
Modeling
Graphical Rule Editor
Textual modeling
Mapping
Report
Input parameters for BIRT
Glossary
OntoBroker Enterprise Manual
Abstract
Introduction
Installation Process
Ontology Languages
Using Ontobroker as RDF Triple Store
OntoBroker GUI
Administration Console
Starting OntoBroker
Settings
Client functionality
Queries
Commands
Browse
OntoBroker GUI
Converting Ontologies
Webconsole
Use the OntoBroker server from commandline
Storage systems
Data Integration
Integration Scenario
Supported import formats
Project files
Materialization
Query Languages for F-logic ontologies
F-logic
Query Options
Handling of NULL values
Ordering Query Results
Sorting Query Results
Skip sending answers
Limit the number of results
Tracing and debugging
Turn inferencing off
Profile
Ignore Imports
SPARQL
SQL
Interfaces to OntoBroker
OntoBroker and Web Services (SOAP/WSDL)
Deployment
Load Balancing for web services
Paging support for web service
How to use the OntoBroker Java API
How to access OntoBroker from other programming languages
Using the extension API to develop OntoBroker extensions
Developing own built-ins
Making new built-ins known to OntoBroker
The IsNumber example built-in
The multiply example built-in
A connector built-in
Important note for datatype conversions
Important note for floating point operation
Important note for number usage
List of possible signature types
List of predefined grounds
Examples
Example for the add built-in
Example for the sum built-in
Developing own rewriters
Role-based Security
Realms
Role-based Security
Module permissions
Basic Configuration
Authentication/Login
Configuration of the security context
Modeling the security module realm with OntoStudio
Access Restrictions for Commands
Other Access Restrictions
Terminology glossary
Configuring OntoBroker
Parallelization settings
Performance-related configuration switches
Wellfounded Evaluation
Using OntoBroker with persistent datamodel
Persistent Datamodel - H2 Storage
Configuration
Configuration values for performance tuning
Backup
Online Backup
Database file layout
Configuration switches for the server
OntoBroker Performance Tuning
Choosing an evaluation method
Evaluation methods
BottomUp evaluators
Choosing a storage system/evaluation method/bottom-up evaluator
Optimizers
Optimize the Sequence of Body Literals in Rules
Using the Cost Model
Use the Genetic Optimizer
Use Materialization of Rules and/or Axioms
Tracing the evaluation process
Profile
Input File Formats
Rule Management
File encodings and unicode
OntoBroker Server
Server Commands
Delete Rule
Drop Module
Load Save
Prepared Queries
Usage
Sample
Aggregations
Explanations
Configuring the OntoBroker for explanations
Creating own explanation rules
OntoBroker Tools
Tool to anomymize ontologies
Tool for performance benchmarks: (benchmark.cmd / .sh)
Tool to convert files
Tool for checking NamesGround compliance
Tool to dump list with builtins
Tool to compact H2 term store
Tool to execute commands
Tool to execute queries
Appendix
Properties settings
Start-up settings
Built-ins
E
PI
RANDOM
+
-
*
%
/
+
-
abs
acos
add
addvector
asin
between(A,X,B)
ceil
comparevectors
concat
concatlists
constant2string
contains
cos
countCharactersOfURLs
cut
datecompare
dbaccessuser
dotprod
dround
equal
even
exp
fill
floor
getvalue
ggt
greater
greaterorequal
indexinlist
inlist
diag
diffvector
distance
distance2
docvector
isboolean
isconstant
isdate
isdatetime
isequal
isinteger
isnumber
isstring
istime
jdbcsqlexecute
length
less
lessolve
lessorequal
listsort
log
matrixbycols
matrixbyrows
matrixt
max
member
min
multiply
multvector
multvm
near
newvector
number2roman
obaccess
obaccessuser
overlaps
pow
power
predict
quadratic
quadratic1
queryIndex
readurl
regexp
regexp1
replace
rint
round
setvalue
signvector
sin
smultvector
splitlocal
spreadsheet
sqlexecute
sqrt
square
startswith
statisticsIndex
statusIndex
string2number
tan
tokenize
tokenizen
tokenizelist
tolower
tostring
toupper
unify
wholenumbered
write1, write2, ..., write6
xaverage
xclassify
xcount
xlist
xmaximum
xminimum
xmlequal
xnearest
xreplace
xsum
similarity
similarity2
_generateExplanationTemplate/4
_generateExplanationRuleText/4
_activeCollaborationUsers/3
_constraintByID/3
_constraintContainsTerm/3
_isConstraint/2
_isQuery/2
_isRule/2
_loginUser/2
_queryByID/3
_queryContainsTerm/3
_ruleByID/3
_ruleContainsTerm/4
Range Restriction
Logging configuration
Third Party Software
Migration
Changelog
Abstract
Introduction
Installation Process
Ontology Languages
Using Ontobroker as RDF Triple Store
OntoBroker GUI
Administration Console
Starting OntoBroker
Settings
Client functionality
Queries
Commands
Browse
OntoBroker GUI
Converting Ontologies
Webconsole
Use the OntoBroker server from commandline
Storage systems
Data Integration
Integration Scenario
Supported import formats
Project files
Materialization
Query Languages for F-logic ontologies
F-logic
Query Options
Handling of NULL values
Ordering Query Results
Sorting Query Results
Skip sending answers
Limit the number of results
Tracing and debugging
Turn inferencing off
Profile
Ignore Imports
SPARQL
SQL
Interfaces to OntoBroker
OntoBroker and Web Services (SOAP/WSDL)
Deployment
Load Balancing for web services
Paging support for web service
How to use the OntoBroker Java API
How to access OntoBroker from other programming languages
Using the extension API to develop OntoBroker extensions
Developing own built-ins
Making new built-ins known to OntoBroker
The IsNumber example built-in
The multiply example built-in
A connector built-in
Important note for datatype conversions
Important note for floating point operation
Important note for number usage
List of possible signature types
List of predefined grounds
Examples
Example for the add built-in
Example for the sum built-in
Developing own rewriters
Role-based Security
Realms
Role-based Security
Module permissions
Basic Configuration
Authentication/Login
Configuration of the security context
Modeling the security module realm with OntoStudio
Access Restrictions for Commands
Other Access Restrictions
Terminology glossary
Configuring OntoBroker
Parallelization settings
Performance-related configuration switches
Wellfounded Evaluation
Using OntoBroker with persistent datamodel
Persistent Datamodel - H2 Storage
Configuration
Configuration values for performance tuning
Backup
Online Backup
Database file layout
Configuration switches for the server
OntoBroker Performance Tuning
Choosing an evaluation method
Evaluation methods
BottomUp evaluators
Choosing a storage system/evaluation method/bottom-up evaluator
Optimizers
Optimize the Sequence of Body Literals in Rules
Using the Cost Model
Use the Genetic Optimizer
Use Materialization of Rules and/or Axioms
Tracing the evaluation process
Profile
Input File Formats
Rule Management
File encodings and unicode
OntoBroker Server
Server Commands
Delete Rule
Drop Module
Load Save
Prepared Queries
Usage
Sample
Aggregations
Explanations
Configuring the OntoBroker for explanations
Creating own explanation rules
OntoBroker Tools
Tool to anomymize ontologies
Tool for performance benchmarks: (benchmark.cmd / .sh)
Tool to convert files
Tool for checking NamesGround compliance
Tool to dump list with builtins
Tool to compact H2 term store
Tool to execute commands
Tool to execute queries
Appendix
Properties settings
Start-up settings
Built-ins
E
PI
RANDOM
+
-
*
%
/
+
-
abs
acos
add
addvector
asin
between(A,X,B)
ceil
comparevectors
concat
concatlists
constant2string
contains
cos
countCharactersOfURLs
cut
datecompare
dbaccessuser
dotprod
dround
equal
even
exp
fill
floor
getvalue
ggt
greater
greaterorequal
indexinlist
inlist
diag
diffvector
distance
distance2
docvector
isboolean
isconstant
isdate
isdatetime
isequal
isinteger
isnumber
isstring
istime
jdbcsqlexecute
length
less
lessolve
lessorequal
listsort
log
matrixbycols
matrixbyrows
matrixt
max
member
min
multiply
multvector
multvm
near
newvector
number2roman
obaccess
obaccessuser
overlaps
pow
power
predict
quadratic
quadratic1
queryIndex
readurl
regexp
regexp1
replace
rint
round
setvalue
signvector
sin
smultvector
splitlocal
spreadsheet
sqlexecute
sqrt
square
startswith
statisticsIndex
statusIndex
string2number
tan
tokenize
tokenizen
tokenizelist
tolower
tostring
toupper
unify
wholenumbered
write1, write2, ..., write6
xaverage
xclassify
xcount
xlist
xmaximum
xminimum
xmlequal
xnearest
xreplace
xsum
similarity
similarity2
_generateExplanationTemplate/4
_generateExplanationRuleText/4
_activeCollaborationUsers/3
_constraintByID/3
_constraintContainsTerm/3
_isConstraint/2
_isQuery/2
_isRule/2
_loginUser/2
_queryByID/3
_queryContainsTerm/3
_ruleByID/3
_ruleContainsTerm/4
Range Restriction
Logging configuration
Third Party Software
Migration
Changelog
OntoBroker OWL Manual
Introduction
Ontology Languages
OWL - Web Ontology Language
SPARQL - Query Language for RDF
SWRL - A Semantic Web Rule Language Combining OWL and RuleML
OntoBroker OWL Technical Overview
Executive Summary
OntoBroker OWL Architecture
OWL Species
OWL 2 Support
Unsupported Features
Known Issues
Installation Process
Installing on Microsoft Windows
Installing on Linux
Important note about the Key File
Important Note about Windows Vista
OntoBroker GUI
Loading and querying ontologies
Converting Ontologies
Starting OntoBroker as a server
Storage Systems
Ram
H2
SPARQL
Select
Filter
OntoBroker OWL Interfaces
Dig interface
Java API
Deployment
Overview
Step-by-Step Example
Creating an Ontology
Creating Entities and Axioms
Adding Axioms to an Ontology
Requests and Queries
Requests
Queries
Simple Reasoning Tasks
Examples
Changes compared to prior version
Collaboration Server
Accessing the Collaboration Server from a Client Application
Limitations and Differences
Configuring OntoBroker OWL
Using OntoBroker OWL with internal database
Embedded Database - H Storage
Embedded Database - Configuration
Embedded Database - Configuration Values for Performance Tuning
Embedded Database - Backup
Embedded Database - Online Backup
Embedded Database - Database file layout
OntoBroker OWL tools
Tool to convert files
Tool to compact H2 term store
Appendix
Changelog
Legal Notice
Introduction
Ontology Languages
OWL - Web Ontology Language
SPARQL - Query Language for RDF
SWRL - A Semantic Web Rule Language Combining OWL and RuleML
OntoBroker OWL Technical Overview
Executive Summary
OntoBroker OWL Architecture
OWL Species
OWL 2 Support
Unsupported Features
Known Issues
Installation Process
Installing on Microsoft Windows
Installing on Linux
Important note about the Key File
Important Note about Windows Vista
OntoBroker GUI
Loading and querying ontologies
Converting Ontologies
Starting OntoBroker as a server
Storage Systems
Ram
H2
SPARQL
Select
Filter
OntoBroker OWL Interfaces
Dig interface
Java API
Deployment
Overview
Step-by-Step Example
Creating an Ontology
Creating Entities and Axioms
Adding Axioms to an Ontology
Requests and Queries
Requests
Queries
Simple Reasoning Tasks
Examples
Changes compared to prior version
Collaboration Server
Accessing the Collaboration Server from a Client Application
Limitations and Differences
Configuring OntoBroker OWL
Using OntoBroker OWL with internal database
Embedded Database - H Storage
Embedded Database - Configuration
Embedded Database - Configuration Values for Performance Tuning
Embedded Database - Backup
Embedded Database - Online Backup
Embedded Database - Database file layout
OntoBroker OWL tools
Tool to convert files
Tool to compact H2 term store
Appendix
Changelog
Legal Notice
OntoBroker RDF Manual
Introduction
Architecture
Setup and Configuration
API
RDF Compatibility
Inferencing
SPARQL
OntologyTransformation
Introduction
Architecture
Setup and Configuration
API
RDF Compatibility
Inferencing
SPARQL
OntologyTransformation
F-logic Manual
Introduction
Example
Basic Syntax -- Terms
Terms
Lists
Basic Syntax -- Statements
Schema level statements
Instance level statements
F-Molecules
Predicates
Namespaces in F-logic
Declaring Namespaces
Using Namespaces in F-logic Expressions
Querying for Namespaces
The Default Namespace
Built-ins
Numbers, Comparisons and Arithmetics
String handling
Aggregations
Rules and Queries
Rules
Queries
Range Restriction
Quantifier Scoping
Modules
References
Introduction
Example
Basic Syntax -- Terms
Terms
Lists
Basic Syntax -- Statements
Schema level statements
Instance level statements
F-Molecules
Predicates
Namespaces in F-logic
Declaring Namespaces
Using Namespaces in F-logic Expressions
Querying for Namespaces
The Default Namespace
Built-ins
Numbers, Comparisons and Arithmetics
String handling
Aggregations
Rules and Queries
Rules
Queries
Range Restriction
Quantifier Scoping
Modules
References
NeOn Toolkit 1.2 Manual
General
User Interface
Additional Information
Preferences
Main Features
Perspectives
F-Logic
Ontology Navigator
Entity Properties
Instances
Visualizer
Graph View (Print)
F-Logic Editor
Rule and Query
Ontology Navigator
Entity Properties
Explanation Editor
Query Explanations
Query Results
Graphical Rule Editor
Stylized English
Textual Queries
Regression Test Runner
Integration
Ontology Navigator
Mapping
Rule Debug
Debug Monitor
Reference Explorer
Rule Body View
Rule Graph
Tuples
RDF
Ontology Navigator
Entity Properties
RDF Instances
OWL Editor
The OWL Language
User Interface Overview
Ontology Navigator
Individuals Panel
Entity Properties Panel
Ontology
Classes
Object Properties
Datatype Properties
Annotation Properties
Datatypes
Individuals
Manchester Syntax
Search
Preferences
Using the OWL Editor
Create an Ontology Project
Create an Ontology
Create a Class
Create an Object Property
Create a Datatype Property
Create an Annotation Property
Create an Annotation
Import an Ontology
Export an Ontology
Delete a Resource
Online References
Import
Import of Ontology Files
Webdav Import
Edit Webdav
Import of Data Sources
Data Base Schema Import
OB Schema Import
Collocation Import
UML Import
Export
File System Export
Webdav Export
Export UML
Webservice
Sample
Create a new project
Create an ontology
Import an other ontology
Create a concept
Create an attribute
Create a relation
Create an instance
Modeling
Graphical Rule Editor
Textual modeling
Mapping
Using the OWL Editor
Create an Ontology Project
Create an Ontology
Create a Class
Create an Object Property
Create a Datatype Property
Create an Annotation Property
Create an Annotation
Import an Ontology
Export an Ontology
Delete a Resource
References for Developers
Extension-point reference for NeOn Toolkit
Extension-point reference for Mapping
Glossary
General
User Interface
Additional Information
Preferences
Main Features
Perspectives
F-Logic
Ontology Navigator
Entity Properties
Instances
Visualizer
Graph View (Print)
F-Logic Editor
Rule and Query
Ontology Navigator
Entity Properties
Explanation Editor
Query Explanations
Query Results
Graphical Rule Editor
Stylized English
Textual Queries
Regression Test Runner
Integration
Ontology Navigator
Mapping
Rule Debug
Debug Monitor
Reference Explorer
Rule Body View
Rule Graph
Tuples
RDF
Ontology Navigator
Entity Properties
RDF Instances
OWL Editor
The OWL Language
User Interface Overview
Ontology Navigator
Individuals Panel
Entity Properties Panel
Ontology
Classes
Object Properties
Datatype Properties
Annotation Properties
Datatypes
Individuals
Manchester Syntax
Search
Preferences
Using the OWL Editor
Create an Ontology Project
Create an Ontology
Create a Class
Create an Object Property
Create a Datatype Property
Create an Annotation Property
Create an Annotation
Import an Ontology
Export an Ontology
Delete a Resource
Online References
Import
Import of Ontology Files
Webdav Import
Edit Webdav
Import of Data Sources
Data Base Schema Import
OB Schema Import
Collocation Import
UML Import
Export
File System Export
Webdav Export
Export UML
Webservice
Sample
Create a new project
Create an ontology
Import an other ontology
Create a concept
Create an attribute
Create a relation
Create an instance
Modeling
Graphical Rule Editor
Textual modeling
Mapping
Using the OWL Editor
Create an Ontology Project
Create an Ontology
Create a Class
Create an Object Property
Create a Datatype Property
Create an Annotation Property
Create an Annotation
Import an Ontology
Export an Ontology
Delete a Resource
References for Developers
Extension-point reference for NeOn Toolkit
Extension-point reference for Mapping
Glossary