Ontolog Forum
General
| Full name of the tool | Virtuoso Universal Server |
| Description of the tool | Virtuoso is an innovative enterprise grade multi-model (RDF and SQL) relational data server for enterprises & individuals alike. It delivers a platform agnostic solution for secure data management, access, and integration.
The unique hybrid architecture of Virtuoso enables it to offer traditionally distinct server functionality within a single product offering that covers the following areas: • SQL compliant Relational (Tables) Data Management • SPARQL compliant RDF Relational (Property Graph) Data Management • Content Management • Linked Data Deployment (exemplified via DBpedia and the LOD Cloud Cache). |
| Link to the tool | http://www.openlinksw.com |
| Tool home page | http://virtuoso.openlinksw.com |
| Download page | http://download.openlinksw.com/virtwiz/ |
| Author | OpenLink Software |
| Contact | |
| Institutional sponsor | |
| Last version | 7.0 |
| License | Open Source & Commercial |
| Mailing List | http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/VOSMailingLists |
Exploration
| Find ontologies with specific domain coverage | Yes |
| -- comment | Optional remarks |
| Compare domain coverage across ontologies | Yes |
| -- comment | Optional remarks |
| Assess or characterize breadth of domain coverage of an ontology | Yes |
| -- comment | Optional remarks |
| Assess or characterize depth or detail of domain coverage of an ontology | Yes |
| -- comment | Optional remarks |
| Assess or characterize use considerations of ontology including licensing, training, cost, updating, software requirements, and security | Yes |
| -- comment | Just licensing when expressed as part of the ontology. |
| Assess complexity of concept definitions (necessary and sufficient properties) and use of axioms | No |
| -- comment | Optional remarks |
| Identify number and ratio of concepts, relations, and subclassing | Yes |
| -- comment | Optional remarks |
| Identify frequency of use of ontology language features in an ontology | Yes |
| -- comment | Optional remarks |
| Identify age and use statistics of an ontology and its versions | Yes |
| -- comment | Optional remarks |
| Assess the inferencing power of an ontology | Yes |
| -- comment | Note: it enables you explore and assess the inference power. Note, this is limited to OWL. |
| Rate ontologies on their popularity or review feedback | Yes |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for exploration phase (describe capability) |
Management
| Distinguish between conceptual and operational ontologies and objectives | No |
| -- comment | Optional remarks |
| Generate ontology application and performance requirements | No |
| -- comment | Optional remarks |
| Organize and track the life cycle requirements and progression of an ontology | No |
| -- comment | Optional remarks |
| Organize and maintain a collection of related ontologies and ontology modules | Yes |
| -- comment | Optional remarks |
| Provide statistics on ontology versioning and use | Yes |
| -- comment | Optional remarks |
| Guide ontology development per a quality assurance methodology | No |
| -- comment | Optional remarks |
| Assess the reusability of a planned ontology | No |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for management phase (describe capability) |
Design
| Does OpenLinkVirtuoso guide formulation of ontology requirements? | |
| Guide formulation of domain scope and detail requirements | Yes |
| -- comment | Optional remarks |
| Guide formulation of goodness of design requirements | No |
| -- comment | Optional remarks |
| Guide formulation of data and information requirements | Yes |
| -- comment | Optional remarks |
| Guide formulation of semantic and reasoning requirements | Yes |
| -- comment | Optional remarks |
| Guide formulation of interface requirements | No |
| -- comment | Optional remarks |
| Guide formulation of level of effort requirements | No |
| -- comment | Optional remarks |
| Facilitate framing a set of competency questions exemplifying ontology objectives | Yes |
| -- comment | Yes, but this is done via SPARQL. |
| Choose metaphysical methodology | No |
| -- comment | Optional remarks |
| Does OpenLinkVirtuoso allow one to choose an extant ontology for reuse? | |
| Choose extant top ontology for reuse | Yes |
| -- comment | Optional remarks |
| Choose extant core ontologies for reuse | Yes |
| -- comment | Optional remarks |
| Apply a style of ontological analysis to design | No |
| -- comment | Optional remarks |
| Guide design to optimize normalization, factoring, and simplicity of ontology | Yes |
| -- comment | Optional remarks |
| Guide application of open world or closed world semantics | Yes |
| -- comment | Optional remarks |
| Guide ontology design to achieve inferencing requirements | No |
| -- comment | Optional remarks |
| Guide ontology design to achieve scalability requirements | Yes |
| -- comment | Optional remarks |
| Enable adjustable query and inference performance | Yes |
| -- comment | Optional remarks |
| Does OpenLinkVirtuoso offer design patterns based on current ontology or design context? | |
| Offer application patterns based on current ontology or design context | No |
| -- comment | Optional remarks |
| Offer ontology language patterns based on current ontology or design context | No |
| -- comment | Optional remarks |
| Offer methodology patterns based on current ontology or design context | No |
| -- comment | Optional remarks |
| Offer other patterns based on current ontology or design context | No |
| -- comment | Optional remarks |
| Integrate selected design patterns into an ontology design | No |
| -- comment | Optional remarks |
| Assess correctness or performance of an ontology design | No |
| -- comment | Optional remarks |
| Guide and facilitate modularization of ontology | Yes |
| -- comment | Optional remarks |
| Guide ontology design for visualization | No |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for design phase (describe capability) | |
Build
General Development
| Does OpenLinkVirtuoso allow one to choose an ontology language? | |
| Choose ontology language | Yes |
| -- comment | Optional remarks |
| Choose formal logic language | No |
| -- comment | Optional remarks |
| Choose RDF support | Yes |
| -- comment | Optional remarks |
| Mix ontology languages | Yes |
| -- comment | RDFS and OWL. SQL Relational Schema and RDFs and/or OWL. |
| Generate ontology code from requirements specification | No |
| -- comment | Optional remarks |
| Generate or enforce selected design patterns in ontology code | No |
| -- comment | Optional remarks |
| Feedback on consistency of granularity and regularity of domain ontology structure | No |
| -- comment | Optional remarks |
| Manage lexical naming and annotation of ontology elements | No |
| -- comment | Optional remarks |
| Ensure proper use and coding of RDF and Web resources | Yes |
| -- comment | Optional remarks |
| Enforce proper use and coding of URIs | Yes |
| -- comment | Optional remarks |
| Produce the current terminological inferences of an ontology | No |
| -- comment | Optional remarks |
| Optimize query and inference performance | Yes |
| -- comment | Optional remarks |
| Detect violations of domain, referential, or semantic integrity | No |
| -- comment | Optional remarks |
| Overall, detect and correct coding errors or inconsistencies | No |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for build phase (describe capability) | |
Concept Development
| Ensure proper separation and coding of concepts and facts | Yes |
| -- comment | Optional remarks |
| Ensure kind-of nature and consistency of subclassing | No |
| -- comment | Optional remarks |
| Guide subclass versus class individual determinations | No |
| -- comment | Optional remarks |
| Monitor depth of subclassing consistency across a domain ontology | No |
| -- comment | Optional remarks |
| Generate prototypical instances (individuals) to help verify class intent and class subsumption | No |
| -- comment | Optional remarks |
| Detect and guide use of multiple inheritance | No |
| -- comment | Optional remarks |
| Guide use of disjointness axioms | No |
| -- comment | Optional remarks |
| Guide use of necessary and sufficient properties in concept definitions | No |
| -- comment | Optional remarks |
| Guide use of existential versus universal quantification in class restrictions | No |
| -- comment | Optional remarks |
| Enforce proper use of conjunctions versus disjunctions | No |
| -- comment | Optional remarks |
Relationship Development
| Ensure proper use and coding of relations | No |
| -- comment | Optional remarks |
| Ensure proper use and coding of data types | No |
| -- comment | Optional remarks |
| Assess and enforce consistency and completeness of range and domain constraints | No |
| -- comment | Optional remarks |
| Assess and enforce consistency and completeness of inverse relations | No |
| -- comment | Optional remarks |
| Ensure proper use and coding of transitive relations | No |
| -- comment | Optional remarks |
Validation
| Verify that ontology requirements are met | No |
| -- comment | Optional remarks |
| Can OpenLinkVirtuoso assess query performance? | |
| Assess query precision and recall performance | No |
| -- comment | Optional remarks |
| Assess query time performance | No |
| -- comment | Optional remarks |
| Can OpenLinkVirtuoso assess inference performance? | |
| Assess inferencing time performance | No |
| -- comment | Optional remarks |
| Assess inferencing completeness performance | No |
| -- comment | Optional remarks |
| Generate characteristic queries and tests | No |
| -- comment | Optional remarks |
| Accept validation test sets or inputs | No |
| -- comment | Optional remarks |
| Can OpenLinkVirtuoso assure computability of ontology? | |
| Assure semantically adequate computability of ontology | No |
| -- comment | Optional remarks |
| Assure mathematically complete computability of ontology | No |
| -- comment | Optional remarks |
| Verify that two ontologies are interoperable | No |
| -- comment | Optional remarks |
| Validate the intended functionality of software using the ontology | No |
| -- comment | Optional remarks |
| Validate instance data conforming to an ontology | No |
| -- comment | Optional remarks |
| Assess accuracy, correctness, and completeness of ontology terminological content | No |
| -- comment | Optional remarks |
| Guide or adjust ontology in accord with validation results | No |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for validation phase (describe capability) | |
Integration and Use
| Export ontology in different languages | No |
| -- comment | Optional remarks |
| Integrate ontology with other ontologies | No |
| -- comment | Optional remarks |
| Integrate ontology with other information system resources | No |
| -- comment | Optional remarks |
| Assess or track user experience with ontology | No |
| -- comment | Optional remarks |
| Enable user to modify or extend ontology to address deficiencies | No |
| -- comment | Optional remarks |
| Create mappings from ontologies to and from data and data sources | No |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for integration and use phase (describe capability) |
Maintenance
| Promote reuse of ontology | No |
| -- comment | Optional remarks |
| Capture ontology errors during use | No |
| -- comment | Optional remarks |
| Profile use of ontology elements during use | No |
| -- comment | Optional remarks |
| Compare and map between ontologies | No |
| -- comment | Optional remarks |
| Track ontology changes and control versions | No |
| -- comment | Optional remarks |
| Other ontology quality and fitness support for maintenance phase (describe capability) |