Property:Component Description
From ONTORULE Show Case
0 Type:Text Category:Component (?)
2
(previous 25) (next 25)
Pages using the property "Component Description"
Showing 25 pages using this property.
C |
|
|---|---|
| Candidate rule extraction from NL + | This component aids to extract candidate rules from pieces of text documents. (X)HTML; OpenDocument Format and Office Open [[XML]] are preferred as the input format for text documents. |
D |
|
| Dynamic debugging + | This component permits the inspection of an automated process of inference or rule firing; given a combination of [[OWL|OWL2]] and [[RIF]]. |
| Dynamic rule checking + | This component reports inconsistencies found in a combination of populated [[OWL|OWL2]] ontologies and [[RIF]] rulesets. |
F |
|
| FUB Combining Production Rules and Ontologies: Tight and Loose Coupling + | Combining Production Rules and Ontologies: 'Formula-based' and 'Possible Models' semantics for Loose Coupling approach. Integrated semantics and Production Rules systems axiomatization in fixpoint logic (FPL) for Tight Coupling approach. |
| FUB Embedding of propositional production systems into μ- calculus, and first-order production systems into fixpoint logic + | μ- calculus based embedding of propositional Production Rules systems, and fixpoint logic embedding of FO Production Rules systems. The component aims at enabling further investigation of the combinations with ontologies, as well as static analysis of the Production Rules systems. |
| FUB First-order deontic-alethic logic (FODAL) + | FODAL is a first-order deontic-alethic logic |
| FUB Generalized Ontology-based Production Systems + | A generalized ontology-based production systems (GOPSs) is defined, together with a powerful verification query language for production systems static analysis. Lite-GOPSs, a particular class of GOPSs based on the use of a light-weight ontology language (DL-Lite_A), … |
| FUB ORM2OWL Translator/Reasoner + | An ORM2 to OWL2 translator tool allows to … An ORM2 to OWL2 translator tool allows to translate a given ORM2 knowledge base expressed in ORM2 formal syntax into OWL2 knowledge base. Additionally it provides a consistency check of the given schema and allows to check the validity of a ORM2 statement with respect to the given ORM2 knowledge base. respect to the given ORM2 knowledge base. |
| FUB Production systems and ontologies integration via Transaction Logic with Partially Defined Actions + | The component consists of: (i) a new semantics for production systems augmented with DL ontologies that includes looping-rules, and can handle inconsistency; (ii) a sound embedding of the combination of PS and rule-based ontologies into the TR-PAD transaction logic; and (iii) an extension of TR-PAD with default negation. |
M |
|
| Modeling + | This component assists business analysts during the modeling process to produce valid and verified [[BPMN]]+[[SBVR]] specifications of business models. |
O |
|
| Onto/rule set documentation + | This component projects an [[OWL|OWL2]] and [[RIF]] combination to document-grounded; human-readable reports and makes use of the [[SKOS]] linguistic knowledge and the annotated documents. |
| Onto/rule set verbalization + | This component permits to associate; generate and parse linguistic expressions connected to elements of an [[OWL|OWL2]] and [[RIF]] combination in alignment with the [[SKOS]] linguistic knowledge. |
| OntoStudio Graphical Rule Editor + | The graphical rule editor of OntoStudio us … The graphical rule editor of OntoStudio uses the UML paradigm for modelling rules. The intention was to use a paradigm many users are familiar with. In the following we describe the functionality of the rule editor. Further information can be found in the OntoStudio user manual. an be found in the OntoStudio user manual. |
| OntoStudio HTML/RDFa support + | The component imports RDF annotations from … The component imports RDF annotations from an HTML file. It preserves the dependency to the HTML file and shows the annotations within the HTML file. Having the ontology used for annotation one can link the RDFa import and the annotations and navigate between the two structures. s and navigate between the two structures. |
| OntoStudio Rule Search + | The extension of OntoStudio allows searchi … The extension of OntoStudio allows searching for rules; (ObjectLogic) constraints and (ObjectLogic) queries within OntoStudio. One defines the ontology terms that should occure within the rules to be searched for. The result will be a list of rules; constraints and queries that contain the terms. With this functionality it is easy to find rules that depend on certain ontology elements. that depend on certain ontology elements. |
| OntoStudio Validation + | The component uses a set of ontologies and … The component uses a set of ontologies and rules in order to identify anomalies within the ontology and rule combination. The component explains the anomalies found. Some of the anomalies might not be an issue and can be ignored. However; others might hint on a bad modelling paradigm. rs might hint on a bad modelling paradigm. |
| Ontology authoring + | This component permits to author ontologies compatible with [[OWL|OWL2]] or [[SBVR]]. |
| Ontology extraction from NL + | This component aids to extract [[OWL|OWL2]] ontologies and [[SKOS]] linguistic knowledge from pieces of text documents. (X)HTML; OpenDocument Format and Office Open [[XML]] are preferred as the input format for text documents. |
| Ontology instantiation + | This component populates a given [[OWL|OWL2]] ontology by extracting facts from an existing source (e.g. SQL databases; [[XML]] documents; spread sheets). |
| Ontoprise OWLRL in ObjectLogic + | Inferencing component on top of OntoBroker(ObjectLogic) implementing the OWL RL profile. |
| Ontoprise SKOS Vocabulary Management + | Based on the vocabulary management SemanticXpress of ontoprise a SKOS vocabulary management has been realised. It allows importing and maintaining SKOS vocabularies. |
P |
|
| Paris13 SemEx + | Paris13 SemEx is a rule editor. It impleme … Paris13 SemEx is a rule editor. It implements three abstract components of the ONTORULE platform: Candidate rule extraction from NL; Text annotation and Text querying. SemEx is part of the ONTORULE foreground and has been developed by Paris13. It is available for download from the [http://ontorule-project.eu/outcomes D1.4] deliverable. ule-project.eu/outcomes D1.4] deliverable. |
| Paris13 Terminae + | Terminae is a text-based interactive ontol … Terminae is a text-based interactive ontology acquisition tool based on the Eclipse platform. It implements two abstract components of the ONTORULE platform Ontology extraction from NL and Text annotation. It has been delivered in [http://ontorule-project.eu/outcomes D1.1] [http://ontorule-project.eu/outcomes D1.1] |
| Parrot + | Parrot is an OWL and RIF documentation service |
| Platform Management + | Platform Management Component |
Facts about Component DescriptionRDF feed
| Field sequence number | 2 + |
| Has domain and range | Category:Component (?) + |
| Has min cardinality | 0 + |
| Has typeThis property is a special property in this wiki. | TextThis type is among the standard datatypes of this wiki. + |
