CN102436462A - Fuzzy ontology description module supporting custom data type - Google Patents
Fuzzy ontology description module supporting custom data type Download PDFInfo
- Publication number
- CN102436462A CN102436462A CN2011102459278A CN201110245927A CN102436462A CN 102436462 A CN102436462 A CN 102436462A CN 2011102459278 A CN2011102459278 A CN 2011102459278A CN 201110245927 A CN201110245927 A CN 201110245927A CN 102436462 A CN102436462 A CN 102436462A
- Authority
- CN
- China
- Prior art keywords
- fuzzy
- module
- ontology
- data
- data structure
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Machine Translation (AREA)
Abstract
The invention belongs to the field of fuzzy ontology oriented to a semantic network and particularly relates to a fuzzy ontology description module supporting a custom data type. The fuzzy ontology description module comprises a data structure module, an ontology fuzzy description logic module oriented to the semantic network, a fuzzy ontology description language module which is connected with the ontology fuzzy description logic module and used for describing the fuzzy ontology in the fuzzy ontology description language module by using the data structure module, and a software module which is edited by the fuzzy ontology and used for processing a data structure in the data structure module and generating a fuzzy ontology document, wherein the ontology fuzzy description logic module, the fuzzy ontology description language module and the software module are connected with the data structure module respectively. By utilizing the fuzzy ontology description module, the expression capability of the fuzzy ontology is expanded, so that fuzzy information can be expressed directly; the fuzzy ontology description module supports the custom data type of a user; and the data structure of a fuzzy ontology description language is constructed.
Description
Technical field
The invention belongs to towards the field of the fuzzy ontology of semantic net, be specifically related to a kind of fuzzy ontology describing module of supporting the self-defining data type.
Background technology
Science and technology and educational level in present stage; The knowledge that also exists a lot of mankind accurately to understand in the nature world; Also owing to the Different Culture understanding level, the understanding of knowledge and expression can't reach and accurately make people possess the ability to express to out of true or uncertain information simultaneously.At present, aspect knowledge representation, the semantic net language has caused increasing concern, uses semantic net ontology describing language to come the expression of things has also been obtained development rapidly.Under such situation, expansion semantic net ontology describing language has formed an important directions that the semantic net body is studied to the expression and the processing power of the fuzzy message of body.
Fuzzy set theory and fuzzy logic are the theoretical foundation of fuzzy knowledge regulate expression.In the main body structure description; Model-theoretical mechanism clearly that description logic is all; Make body on syntax and semantics, well to be expressed, and a lot of useful reasoning services are provided, can on knowledge such as individual and concepts, carry out reasoning.After proposing minimum proposition sealing description logic ALC by Schmidt-Schau β and Smolka in 1991, many more description logics of high expressed ability that have have appearred on the basis of ALC, as: SHIF, SHOIN (
D), SROIQ (
D).Because traditional description logic can only be represented and reasoning accurate knowledge; Can not represent and reasoning uncertain or inexact knowledge; Many scholars have carried out the obfuscation expansion to traditional description logic, occurred with the fuzzy expansion of description logic ALC fuzzy DL ALCF (
D), the fuzzy DL Fuzzy SHIF that the concrete datatypes among the SHIF is expanded (
D), to its fuzzy expression ability of DL SROIQ expansion, formation fuzzy DL SROIQ (
D) or the like.But more than various vague description logics also be limited to the fuzzy expression ability of body, they all can not support fuzzy customization data type and predicate, and the fuzzy abstract attribute of User Defined etc.
The ontology describing language is corresponding with description logic.At present, the ontology describing language of recommending in the W3C tissue is the language of OWL series.OWL becomes the proposed standard of a W3C in February, 2004, is regarded as the web standard by industry and web group, and latest edition is OWL 2 at present, it and classical description logic Crisp DL SROIQ (
D) equate.But OWL can not express fuzzy message.Thereby, aspect ontology describing language fuzzy expression, according to different description logics; The method of various description fuzzy ontology has been proposed; But a lot of methods are not all mentioned basic data structure problem, only are to rest on XML or RDF form to write some labels or some format descriptions, simultaneously; They are not considered with OWL yet and combine, and form the structure that body is made up of accurate description part and vague description part jointly.
After having proposed the fuzzy ontology descriptive language; The method that has is directly to use RDF/XML or other resource description language and the platform vague description platform as body; These methods can be described fuzzy ontology on grammer; But the semantic meaning representation of body and application are poor, and the person that sets up the body need study behind these language just enable manual in depth and set up fuzzy ontology.At present; Method is that the use OWL 2 that Fernando Bobillo and Umberto Straccia proposed in 2010 expresses the fuzzy ontology method preferably, and this method is to use " annotation properties " unit in OWL 2 bodies usually to express the fuzzy characteristics of fuzzy ontology.Because OWL 2 can not directly express fuzzy characteristics, this method is to utilize the form of comment that these fuzzy characteristics are appended in the body, and the indirect expression fuzzy message simultaneously can be compatible with accurate description.The deficiency of this method is directly to express fuzzy message; Fuzzy message is to add as the comment form simultaneously; Can not well be identified its semanteme; And corresponding with it vague description logic and ontology describing language can not support fuzzy customization data type and predicate, and the fuzzy abstract attribute of User Defined, also do not have clear and definite precise information type among the OWL 2 and fuzzy data type are distinguished.
Summary of the invention
To the shortcoming of prior art, the purpose of this invention is to provide a kind of fuzzy ontology describing module that can directly express the support self-defining data type of fuzzy message.
For realizing above-mentioned purpose, technical scheme of the present invention is:
A kind of fuzzy ontology describing module of supporting the self-defining data type comprises:
Data structure block;
Body vague description logic module towards semantic net; On the basis of OWL2, the body vague description logic towards semantic net is expanded, it comprises in data structure block and to add User Defined fuzzy data type and abstract object type, interpolation variable;
The fuzzy ontology descriptive language module that equates with body vague description logic, it utilizes data structure block that the fuzzy ontology in the fuzzy ontology descriptive language module is described;
Fuzzy ontology editor's software module is used for the fuzzy ontology document is handled and generated to the data structure of data construction module;
Body vague description logic module, fuzzy ontology descriptive language module, software module are connected with data structure block respectively.
In the such scheme, said data structure block comprises fuzzy qualifier data structure block, the fuzzy concept data structure block that contains fuzzy concept, the fuzzy data categorical data construction module that contains the fuzzy data type, the fuzzy object attribute data structures module that contains the fuzzy object attribute, the fuzzy axiom data structure block that contains fuzzy axiom that contains fuzzy qualifier, the variable data construction module that contains variable.
In the such scheme; In fuzzy ontology descriptive language module, be provided with the fuzzy ontology describing module; A fuzzy ontology describing module is formed each ingredient setting expression grammer separately by fuzzy qualifier, fuzzy concept, fuzzy data type, fuzzy object attribute, fuzzy axiom, variable.
In the such scheme; The variable that adds in the body vague description logic module of semantic net comprises concrete variable and abstract variable; Concrete variable is represented one a section interval of its data type or a set of a plurality of values; A kind of fuzzy concrete data type of each set representative interval or each value, abstract variable is represented the one or more groups of individuals under the same Ontological concept, a kind of fuzzy abstract object type of each set representative.
In the such scheme; Said interpolation User Defined fuzzy data type and abstract object type are that the data structure in fuzzy qualifier data structure block, fuzzy data categorical data construction module, the fuzzy object attribute data structures module is added, User Defined fuzzy data type and abstract object type logic specifically:
In fuzzy data categorical data construction module; Fuzzy data type fd=f (
;
;
...
); F is the subordinate function definition of fuzzy data type, and
is concrete variable;
In fuzzy qualifier data structure block; Fuzzy qualifier Mod=m (
;
;
...
); M is the subordinate function definition of fuzzy qualifier, and
is concrete variable;
In fuzzy object attribute data structures module; Fuzzy abstract attribute R=r (
); R is the subordinate function definition of fuzzy object attribute,
abstract variable.
In the such scheme, said fuzzy ontology editor's software module comprises the interface module that is used to define the semantic rdf module of each linguistic labels, is used for process user input and virtual reality, be used to handle the fuzzy ontology descriptive language of fuzzy ontology data structure and data structure inquiry data structure and operational module, be used for being responsible for the fuzzy ontology document formatting generation module of fuzzy ontology data structure format generation fuzzy ontology document, be used to read the document that generates data structure behind the document and generate the ontology data construction module.
Compared with prior art, the present invention has following beneficial effect:
The present invention has expanded the ability to express of fuzzy ontology, can directly express fuzzy message, supports user-defined data type, and has made up the data structure of fuzzy ontology descriptive language.
Description of drawings
Fig. 1 is a theory diagram of the present invention;
Fig. 2 is the structure diagram of software module of the present invention;
Fig. 3 generates the process flow diagram of ontology file for the present invention utilizes fuzzy ontology software for editing module.
Embodiment
Below in conjunction with accompanying drawing and embodiment the present invention is carried out detailed description.
As shown in Figure 1, the present invention provides a kind of fuzzy ontology describing module of supporting the self-defining data type, comprising:
Data structure block;
Body vague description logic module towards semantic net; On the basis of OWL2, the body vague description logic towards semantic net is expanded, it comprises in data structure block and to add User Defined fuzzy data type and abstract object type, interpolation variable; The variable that adds in the body vague description logic module of semantic net comprises concrete variable and abstract variable; Concrete variable is represented one a section interval of its data type or a set of a plurality of values; A kind of fuzzy concrete data type of each set representative interval or each value; Abstract variable is represented the one or more groups of individuals under the same Ontological concept, a kind of fuzzy abstract object type of each set representative.
The fuzzy ontology descriptive language module that equates with body vague description logic, it utilizes data structure block that the fuzzy ontology in the fuzzy ontology descriptive language module is described;
Fuzzy ontology editor's software module is used for the fuzzy ontology document is handled and generated to the data structure of data construction module;
Body vague description logic module, fuzzy ontology descriptive language module, software module are connected with data structure block respectively.
Data structure block comprises fuzzy qualifier data structure block, the fuzzy concept data structure block that contains fuzzy concept, the fuzzy data categorical data construction module that contains the fuzzy data type, the fuzzy object attribute data structures module that contains the fuzzy object attribute, the fuzzy axiom data structure block that contains fuzzy axiom that contains fuzzy qualifier, the variable data construction module that contains variable.
The attribute of fuzzy qualifier data structure block comprises name, type, subordinate function structure and note:
1) type has linear, triangular and custom_function;
2) attribute that comprises of subordinate function structure has parameter list, formula module, and this structure is the fog-level of the fuzzy qualifier of given User Defined;
The attribute that parameter list comprises has the scope of parameter and parameter;
The formula module comprises the description that formula is arranged of attribute and the constraint of formula.
The fuzzy concept data structure block comprises the fuzzy concept structure chained list of four seed categories: modifiedclass_list, weightedclass_list, multipleWeighted_list and nominalsclass_list.Each chained list is made up of the concept structure of respective type.
1) attribute of Modified class structure has: notion name, qualifier modifier;
2) attribute of Weighted class structure has: notion name, weighted value, the notion name that has defined;
3) multipleWeighted class structure attribute comprises: notion name, Weighted class tabulation;
4) Nominals class structure attribute has: notion name, nominal tabulation;
Nominal structure attribute: individual (Individual), individual corresponding value value.
Fuzzy data class data structure block is divided into six sub-structures according to the fuzzy data type: have qualifier data type structure chained list, leftshoulder data structure chained list, rightshoulder data structure chained list, triangular data structure chained list, trapezoidal data structure chained list and user-defined data type chained list.
1) has qualifier data type structure chained list modifieddatatype_list
Having qualifier data type structure chained list modifieddatatype_list is connected to form by a plurality of modifieddatatype structure nodes.
The Modifieddatatype structure attribute has: name, qualifier modifier, modified data type datatype, affiliated territory domain and note attribute comment.
2) leftshoulder data structure chained list
Node in the leftshoulder data structure chained list is the leftshoulder data structure.
Leftshoulder data type attribute: name, parameter list (double type array), affiliated territory domain and note attribute comment.
3) rightshoulder data structure chained list
Node in the rightshoulder data structure chained list is the rightshoulder data structure.
Rightshoulder data type attribute: name, parameter list (double type array),, affiliated territory domain and note attribute (omment.
4) triangular data structure chained list
Node in the triangular data structure chained list is the triangular data structure.
Triangular data type attribute: name, parameter list (double type array), affiliated territory domain and note attribute comment.
5) trapezoidal data structure chained list
Node in the trapezoidal data structure chained list is the trapezoidal data structure.
Trapezoidal data type attribute: name, parameter list (double type array), affiliated territory domain and note attribute comment.
6) user-defined data type Udefinited
User-defined data type Udefinited attribute: data type name, subordinate function structure Membershipfunction, affiliated territory domain and note attribute comment.
Fuzzy object attribute data structures module comprises tabulation ModifiedObjectProperty_list that has qualifier type fuzzy object attribute and the fuzzy object attribute list ObjectProperty_list that has variable.
（1）?ModifiedObjectPropert
The ModifiedObjectPropert type structure is the node of ModifiedObjectProperty_list.
ModifiedObjectPropert attribute: object properties name, qualifier modifier, modified object properties ObjectProperty, affiliated territory domain and note attribute comment.
（2）?ObjectProperty
The ObjectProperty type structure is the node of ObjectProperty_list.
ObjectProperty attribute: object properties name, variable variable, affiliated territory domain and note attribute comment.
Fuzzy axiom FuzzyAxiom data structure block attribute comprises: axiom, degree of membership degree and note comment.
Variable V ariable data structure block attribute has: variable name, variable basic data type range and range constraint restriction.
In fuzzy ontology descriptive language module, be provided with the fuzzy ontology describing module; A fuzzy ontology describing module is formed each ingredient setting expression grammer separately by fuzzy qualifier, fuzzy concept, fuzzy data type, fuzzy object attribute, fuzzy axiom, variable.
Adding User Defined fuzzy data type is that the data structure of bluring in qualifier data structure block, fuzzy data categorical data construction module, the fuzzy object attribute data structures module is added with the abstract object type, User Defined fuzzy data type and abstract object type logic specifically:
In the fuzzy data type block; Fuzzy data type fd=f (
;
;
...
); F is the subordinate function definition of fuzzy data type, and
is concrete variable;
In fuzzy qualifier module; Fuzzy qualifier Mod=m (
;
;
...
); M is the subordinate function definition of fuzzy qualifier, and
is concrete variable;
In the fuzzy object attribute module; Fuzzy abstract attribute R=r (
); R is the subordinate function definition of fuzzy object attribute,
abstract variable.
Fuzzy ontology description logic grammer after the expansion is specially:
C, D are fuzzy concepts, possibly be complicated fuzzy concept fuzzy concepts;
A is atom fuzzy concept atomic fuzzy concept;
R is (possibly be complicated) abstract fuzzy role abstract fuzzy role;
A; B is abstract individual abstract individuals,
be concrete individual concrete individual;
N, m are natural numbers, n >=0, m>0;
Mod is a fuzzy modifier;
∈{≥，?}，?{≤，?}，
{≥，?，≤，?}；
α∈[0,1]；
X, y are concrete variable;
,
is abstract variable.
Definition according to fuzzy set; In fuzzy ontology; A notion C resolves and becomes a fuzzy set; Have following grammer: Fuzzy Concept=A| | ⊥ | C
D| C
D | C | R.C | R.C | T.x; T.x | { α/a } |>=k R.C |≤k R.C |>=k T.x |≤k T.x | S.Self | mod (C) | α C | (
)+(
)+... + (
) | C
, C
.
Its semanteme is specially:
Suppose to resolve I=<
;
;
>; Wherein,
universe;
is concrete territory (
∈
; In concrete fuzzy role; The outer type of User Defined is to belong to
);
is the data type territory that variable is represented,
is analytical function.Each notion;
shines upon notion C to a subordinate function:
:
→ [0; 1]; To each individual a ∈ IN,
is mapped to an element on
with individual a:
∈
.To each abstract roles R (perhaps typedrole T);
mapping R (perhaps T) is to a subordinate function:
:
*
→ [0; 1];
:
*
→ [0; 1] (perhaps
:
*
→ [0,1]).For each fuzzyconcrete domain d;
provides its subordinate function in the scope of concrete territory
:
→ [0,1].For each modifier;
is mapped to subordinate function a: mod with it: [0; 1] → [0,1].
Fuzzy qualifier, fuzzy concept, fuzzy data type, fuzzy object attribute, fuzzy axiom, variable expression grammer separately are specially:
1. fuzzy qualifier Fuzzy modifier
Fuzzy modifier is function a: f (mod): [0,1] → [0,1].The type of Modifier will be expanded self-defining type except supporting these two types of liner, triangular.
Mod : linear?(a)
Triangular(a,?b,?c)
<custom?function?>(x1,?x2,?x3,?…?xn)
A wherein, b, c, ai ∈ [0,1], a <b < c.
Linear and triangular can regard blanket as for these two types, can be used among a plurality of modifier, and custom function are user-defined, are applicable to certain narrow type.User-defined function is labeled as M, x1, and x2, x3 ... Xn is that variable or other datatype property one quotes.
Markup such as the following table used in the grammatical representation of fuzzy qualifier:
| Name | Upper markup | Illustrate |
| Fuzzyowl: Modifier | ? | State a modifier |
| Fuzzyowl: Parameter | Fuzzyowl: Modifier | The subordinate function parameter of statement modifier |
| Fuzzyowl: PRestriction | Fuzzyowl: Parameter | The constraint of statement parameter |
| Fuzzyowl: Valueeq | Fuzzyowl: PRestriction | Parameter equals a value |
| Fuzzyowl: Maxvalue | Fuzzyowl: PRestriction | The maximal value of parameter |
| Fuzzyowl:Minvalue | Fuzzyowl: PRestriction | The parameter minimum value |
| Fuzzyowl: NValueeq | Fuzzyowl: PRestriction | Parameter is not equal to a value |
| Fuzzyowl: Function | Fuzzyowl: Modifier | The subordinate function of statement Modifier |
| Fuzzyowl: FRestriction | Fuzzyowl: Modifier | The constraint condition of statement subordinate function |
| rdfs:comment | ? | The explanation of Modifier |
2. fuzzy concept Fuzzy class
Fuzzy concept is meant by other notions and does not comprise generally having the notion of bluring attribute or general property through modifying the back, having the notion that is combined to form on that several associations of ideas of weight form, single weight notion and these a few conception of species aspects of individual collections.Markup that uses in its grammatical representation such as following table:
| Name | Upper markup | Illustrate |
| Fuzzyowl: fuzzyclass | ? | State a fuzzy concept and name thereof |
| fuzzyclass: modified | Fuzzyowl: fuzzyclass | Statement has the notion of qualifier |
| fuzzyclass: Weighted | Fuzzyowl: fuzzyclass | Statement has the notion of weight |
| fuzzyclass: multipleWeighted | Fuzzyowl: fuzzyclass | Statement has the fuzzy concept of a plurality of notions formation of weight |
| fuzzyclass: nominals | Fuzzyowl: fuzzyclass | The fuzzy concept of statement individual collections type |
| Fuzzyowl : Modifier | fuzzyclass: modified | The qualifier of notion |
| Fuzzyowl : class | fuzzyclass: modified | Quoting of adorned notion |
| Fuzzyowl: weightedvalue | fuzzyclass: Weighted | Weighted value |
| Fuzzyowl: Individual | ? | Quote the individuality that has defined |
Fuzzy concept has four types: modified concept, weighted concept, multiple weighted concept and nominals concept.
（1）modified?concept：
If general notion becomes a new fuzzy concept after going up fuzzy qualifier; Describe modified concept and will state its qualifier and adorned notion; Adorned notion can be accurate notion, and " Fuzzyowl: class " quotes by label, and form is:
<Fuzzyowl?:?class rdf?:?resource=”refe_?file；name?of?class”?/?>
Statement for weight:
<fuzzyowl:weightedvalue rdf:datatype=" &xsd; Xsd datatype ">Value</Fuzzyowl:weightedvalue>
(2)?weighted?concept
Weighted concept has comprised weight and notion two parts of quoting.Label in the form can well be stated this two parts.
(3)?multiple?weighted?concept
Multiple weighted concept is made up of a plurality of weighted concept:
<?fuzzyclass:?multipleWeighted?>
<fuzzyclass:?Weighted?>?…?</?fuzzyclass:?Weighted?>
<fuzzyclass:?Weighted?>?…?</?fuzzyclass:?Weighted?>
<fuzzyclass:?Weighted?>?…?</?fuzzyclass:?Weighted?>
<?/fuzzyclass:?multipleWeighted?>
(4)?nominals?concept
Nominals concept is made up of a plurality of individualities that have the numerical value 0 to 1, and each individual numerical value with it is formed nominal, and one or more nominal have been combined into a notion:
<?fuzzyclass:?nominals?>
<?fuzzyclass:?nominal>
<fuzzyowl:weightedvalue rdf:datatype=" &xsd; Xsd datatype ">Value</Fuzzyowl:weightedvalue>
<Fuzzyowl:?Individual?rdf?:resource=”refe_?file；individual?name”>
</?fuzzyclass:?nominal>
A plurality of nominal structures
</?fuzzyclass:?nominals?>
3. fuzzy data type fuzzy datatype
Corresponding to the attribute that uses basic data type to express, the value of fuzzy data type is not accurate to the fuzzy data type, unique value, but representation attribute possibility within the specific limits in body.According to concrete variable explanation in the described variable, a variable promptly is the data type of an expression certain limit, and true value degree and variable in the scope of variable representative have constituted the fuzzy data type.The fuzzy data type is divided into two big types: fuzzy atomic data type and the data type Fuzzy modified datatypes that has fuzzy qualifier.Fuzzy atomic data type mainly is made up of variable and subordinate function.Expression according to subordinate function is divided into: leftshoulder, rightshoulder, triangular, four kinds of fundamental types of trapezoidal and support user-defined UDefined type.The user can state new fuzzy data type in the UDefined type.Fuzzy data type after the expansion can both become basic fuzzy data type as basic data type.During the ontology definition attribute, as the given numerical value of definition constraint or quoting concrete variable gets final product.
4. fuzzy object attribute Fuzzy object property
Abstract fuzzy attribute semantically can be divided into two kinds, and a kind of is the abstract attribute that has the qualifier prefix, and another kind is the abstract attribute that has abstract variable.
1) has the abstract attribute of qualifier prefix
From bluring semantically, attribute is thickening under the situation that has the qualifier prefix, forms a new fuzzy abstract attribute.
2) have the abstract attribute of abstract variable
The relation that makes of quoting of variable is not limited only between two objects (one to one), possibly be that an object is with (one-to-many) between a plurality of objects.When instantiation had the abstract attribute of variable, variable needed instantiation, promptly was variable assignments.
The markup that the fuzzy object attribute grammar uses has:
| Name | Upper markup | Illustrate |
| Fuzzyowl: fuzzyObjectProperty | ? | State a fuzzy object attribute |
| Fuzzyowl: modifier | Fuzzyowl: fuzzyObjectProperty | Quote a qualifier |
| owl: ObjectProperty | Fuzzyowl: fuzzyObjectProperty | Quote adorned object properties |
| rdfs:domain | Fuzzyowl: fuzzyObjectProperty | Notion under the fuzzy object attribute |
| rdfs:range | Fuzzyowl: fuzzyObjectProperty | Reference to variable |
5. fuzzy axiom fuzzy axiom
Fuzzy axiom is a given true value on the basis of classical axiom, representes the really degree of this axiom, after the axiom that owl 2 describes, adds the true value degree of this axiom, and its fuzzy information has partly been added in description that like this can compatible owl 2 simultaneously
| Name | Upper markup | Illustrate |
| Fuzzyowl: fuzzyaxiom | ? | Quote the axiom that needs to add the true value degree |
| Fuzzyowl:degree | Fuzzyowl: fuzzyaxiom | Value between [0,1] |
6. variable variable
Variable has two major types: concrete variable concrete variable and abstract abstract variable.Express grammer and use following semantic label:
| Name | Upper markup | Illustrate |
| Fuzzyowl: Datatypevariable | ? | State a concrete variable |
| Fuzzyowl:Objectvariable | ? | State an abstract variable |
| rdfs:range | Fuzzyowl:Objectvariable，Fuzzyowl: Datatypevariable | The fundamental type of variable: int, string ... And classes |
| Fuzzyowl:PRestriction | Fuzzyowl:Objectvariable，Fuzzyowl: Datatypevariable | Range constraint |
| Fuzzyowl: Valueeq | Fuzzyowl: PRestriction | In the range constraint, variable equals a value |
| Fuzzyowl: Maxvalue | Fuzzyowl: PRestriction | The maximal value of variable |
| Fuzzyowl:Minvalue | Fuzzyowl: PRestriction | The variable minimum value |
| Fuzzyowl: NValueeq | Fuzzyowl: PRestriction | Variable is not equal to a value |
When variable is the set of a plurality of values, repeatedly use Fuzzyowl:Valueeq to represent all values.
As shown in Figure 2, fuzzy ontology editor's software module comprises the interface module that is used to define the semantic rdf module of each linguistic labels, is used for process user input and virtual reality, be used to handle the fuzzy ontology descriptive language of fuzzy ontology data structure and data structure inquiry data structure and operational module, be used for being responsible for the fuzzy ontology document formatting generation module of fuzzy ontology data structure format generation fuzzy ontology document, be used to read the document that generates data structure behind the document and generate the ontology data construction module.
As shown in Figure 3, utilize fuzzy ontology software for editing module to generate ontology file and comprise step:
1) newly-built or read in document: the user is to the foundation of fuzzy ontology or read in existing fuzzy ontology document;
2) user interactions: the user is to the editor of fuzzy ontology;
3) generate related data structure: the user generates related data structure to fuzzy ontology after the operation on the interface module;
4) data structure formatization: data structure formatization is expressed as the fuzzy ontology language;
5) semantic grammar inspection: according to generating or format outputs to the ontology document lang justice syntax check of advancing of each label that has defined in the rdf document;
6) output document: be saved in document.
Claims (6)
1. a fuzzy ontology describing module of supporting the self-defining data type is characterized in that, comprising:
Data structure block;
Body vague description logic module towards semantic net; On the basis of OWL2, the body vague description logic towards semantic net is expanded, it comprises in data structure block and to add User Defined fuzzy data type and abstract object type, interpolation variable;
The fuzzy ontology descriptive language module that equates with body vague description logic, it utilizes data structure block that the fuzzy ontology in the fuzzy ontology descriptive language module is described;
Fuzzy ontology editor's software module is used for the fuzzy ontology document is handled and generated to the data structure of data construction module;
Body vague description logic module, fuzzy ontology descriptive language module, software module are connected with data structure block respectively.
2. the fuzzy ontology describing module of support self-defining data type according to claim 1; It is characterized in that said data structure block comprises fuzzy qualifier data structure block, the fuzzy concept data structure block that contains fuzzy concept, the fuzzy data categorical data construction module that contains the fuzzy data type, the fuzzy object attribute data structures module that contains the fuzzy object attribute, the fuzzy axiom data structure block that contains fuzzy axiom that contains fuzzy qualifier, the variable data construction module that contains variable.
3. the fuzzy ontology describing module of support self-defining data type according to claim 2; It is characterized in that; In fuzzy ontology descriptive language module, be provided with the fuzzy ontology describing module; A fuzzy ontology describing module is formed each ingredient setting expression grammer separately by fuzzy qualifier, fuzzy concept, fuzzy data type, fuzzy object attribute, fuzzy axiom, variable.
4. the fuzzy ontology describing module of support self-defining data type according to claim 1; It is characterized in that; The variable that adds in the body vague description logic module of semantic net comprises concrete variable and abstract variable; Concrete variable is represented one a section interval of its data type or a set of a plurality of values; A kind of fuzzy concrete data type of each set representative interval or each value, abstract variable is represented the one or more groups of individuals under the same Ontological concept, a kind of fuzzy abstract object type of each set representative.
5. the fuzzy ontology describing module of support self-defining data type according to claim 2; It is characterized in that; Said interpolation User Defined fuzzy data type and abstract object type are that the data structure in fuzzy qualifier data structure block, fuzzy data categorical data construction module, the fuzzy object attribute data structures module is added, User Defined fuzzy data type and abstract object type logic specifically:
In fuzzy data categorical data construction module; Fuzzy data type fd=f (
;
;
...
); F is the subordinate function definition of fuzzy data type, and
is concrete variable;
In fuzzy qualifier data structure block; Fuzzy qualifier Mod=m (
;
;
...
); M is the subordinate function definition of fuzzy qualifier, and
is concrete variable;
In fuzzy object attribute data structures module; Fuzzy abstract attribute R=r (
); R is the subordinate function definition of fuzzy object attribute,
abstract variable.
6. the fuzzy ontology describing module of support self-defining data type according to claim 1; It is characterized in that, said fuzzy ontology editor's software module comprises the interface module that is used to define the semantic rdf module of each linguistic labels, is used for process user input and virtual reality, be used to handle the fuzzy ontology descriptive language of fuzzy ontology data structure and data structure inquiry data structure and operational module, be used for being responsible for the fuzzy ontology document formatting generation module of fuzzy ontology data structure format generation fuzzy ontology document, be used to read the document that generates data structure behind the document and generate the ontology data construction module.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2011102459278A CN102436462A (en) | 2011-08-25 | 2011-08-25 | Fuzzy ontology description module supporting custom data type |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2011102459278A CN102436462A (en) | 2011-08-25 | 2011-08-25 | Fuzzy ontology description module supporting custom data type |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN102436462A true CN102436462A (en) | 2012-05-02 |
Family
ID=45984526
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2011102459278A Pending CN102436462A (en) | 2011-08-25 | 2011-08-25 | Fuzzy ontology description module supporting custom data type |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102436462A (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103440324A (en) * | 2013-08-31 | 2013-12-11 | 华南理工大学 | Fuzzy ontology description method and fuzzy ontology modeling method |
| CN107092516A (en) * | 2017-03-29 | 2017-08-25 | 东南大学 | A kind of inference method for combining body and default program |
| CN107145631A (en) * | 2017-04-06 | 2017-09-08 | 浙江大学 | A kind of piecemeal linkage design method of customed product non-standard component partial structurtes |
| CN108121784A (en) * | 2017-12-15 | 2018-06-05 | 四川长虹电器股份有限公司 | The design method of data structure Custom Attributes |
-
2011
- 2011-08-25 CN CN2011102459278A patent/CN102436462A/en active Pending
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103440324A (en) * | 2013-08-31 | 2013-12-11 | 华南理工大学 | Fuzzy ontology description method and fuzzy ontology modeling method |
| CN107092516A (en) * | 2017-03-29 | 2017-08-25 | 东南大学 | A kind of inference method for combining body and default program |
| CN107092516B (en) * | 2017-03-29 | 2020-10-02 | 东南大学 | Inference method combining ontology and default rule program |
| CN107145631A (en) * | 2017-04-06 | 2017-09-08 | 浙江大学 | A kind of piecemeal linkage design method of customed product non-standard component partial structurtes |
| CN107145631B (en) * | 2017-04-06 | 2019-06-14 | 浙江大学 | A kind of piecemeal linkage design method of customed product non-standard component partial structurtes |
| CN108121784A (en) * | 2017-12-15 | 2018-06-05 | 四川长虹电器股份有限公司 | The design method of data structure Custom Attributes |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Bizer | D2r map-a database to rdf mapping language | |
| Horrocks et al. | From SHIQ and RDF to OWL: The making of a web ontology language | |
| Gasevic et al. | Converting UML to OWL ontologies | |
| Sahoo et al. | A survey of current approaches for mapping of relational databases to RDF | |
| Straccia et al. | oMAP: Combining classifiers for aligning automatically OWL ontologies | |
| Zhou et al. | Ontology Generator from Relational Database Based on Jena. | |
| CN102385635A (en) | Heterogeneous data integration method based on ontology mode | |
| CN101699444A (en) | Formal concept analysis based remote sensing information processing service classification body constructing method | |
| CN102436462A (en) | Fuzzy ontology description module supporting custom data type | |
| Duo et al. | Web service annotation using ontology mapping | |
| Kerre | A tribute to Zadeh’s extension principle | |
| Wagih et al. | Mapping object role modeling 2 schemes to OWL2 ontologies | |
| Shu | A practical approach to modelling and validating integrity constraints in the Semantic Web | |
| CN103440324A (en) | Fuzzy ontology description method and fuzzy ontology modeling method | |
| Evans | A New Frame: Design-Led Transformations from Linear to Circular Economies for Sustainability | |
| Wei et al. | Ontology-based knowledge representation for agricultural intelligent information systems | |
| Yan et al. | Using path‐based approaches to examine the dynamic structure of discipline‐level citation networks: 1997–2011 | |
| Zhang et al. | Formal semantics-preserving translation from fuzzy ER model to fuzzy OWL DL ontology | |
| Hodrob et al. | Mapping orm into owl 2 | |
| Gao et al. | Application of an improved synthetical semantic similarity method in water knowledge graph | |
| Rivero et al. | MostoDE: A tool to exchange data amongst semantic-web ontologies | |
| Kumar et al. | Ontology exemplification for aSPOCMS in the Semantic Web | |
| Trinh et al. | Semantic interoperability between relational database systems | |
| Yan et al. | f-SROIQ (G) an expressive fuzzy Description Logic supporting fuzzy data type group | |
| Jeong et al. | View inference for heterogeneous XML information integration |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20120502 |
|
| RJ01 | Rejection of invention patent application after publication |