This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy...This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy. With the idea of the consistent hashing in the Chord, our algorithm stores the addresses and resources with the values of the same type to select instance. In addition, each peer has its own ontology, which will be completed by the knowledge distributed over the network during the exchange of CHGs (classification hierarchy graphs). The hierarchy classification of concepts allows to find matching resource by querying to the upper level concept because the all concepts described in the CHG have the same root.展开更多
Ontology diagnosis, a well-known approach for handling inconsistencies in a description logic (DL) based ontology, computes a diagnosis of the ontology, i.e., a minimal subset of axioms in the ontology whose removal...Ontology diagnosis, a well-known approach for handling inconsistencies in a description logic (DL) based ontology, computes a diagnosis of the ontology, i.e., a minimal subset of axioms in the ontology whose removal restores consistency. However, ontology diagnosis is computationally hard, especially computing a minimum cost diagnosis (MCD) which is a diagnosis such that the sum of the removal costs attached to its axioms is minimized. This paper addresses this problem by finding data tractable DLs for computing an MCD which allow computing an MCD in time polynomial in the size of the ABox of a given ontology. ABox decomposition is used to find a sufficient and necessary condition to identify data tractable DLs for computing an MCD under the unique name assumption (UNA) among all fragments of that are at least as expressive as without inverse roles. The most expressive, data tractable DL identified is without inverse roles or qualified existential restrictions.展开更多
Description logics (DLs) play an important role in representing and reasoning domain knowledge. Conjunctive queries stemmed from the domain of relational databases, and have attracted more attentions in semantic Web...Description logics (DLs) play an important role in representing and reasoning domain knowledge. Conjunctive queries stemmed from the domain of relational databases, and have attracted more attentions in semantic Web recently. To acquire a tractable DL for query answering, DL-Lite is proposed. Due to the large amount of imprecision and uncertainty in the real world, it is essential to extend DLs to deal with these vague and imprecise information. We thus propose a new fuzzy DL f-DLR-Lite.n, which allows for the presence of n-ary relations and the occurrence of concept conjunction on the left land of inclusion axioms. We also suggest an improved fuzzy query language, which supports the presence of thresholds and user defined weights. We also show that the query answering algorithm over the extended DL is still FOL reducible and shows polynomial data complexity. DL f-DLR-Lite,n can make up for the disadvantages of knowledge representation and reasoning of classic DLs, and the enhanced query language expresses user intentions more precisely and reasonably.展开更多
Fuzzy description logics are considered as the logical infrastructure of fuzzy knowledge representation on the semantic Web. To deal with fuzzy and dynamic knowledge on the semantic Web and its applications, a new fuz...Fuzzy description logics are considered as the logical infrastructure of fuzzy knowledge representation on the semantic Web. To deal with fuzzy and dynamic knowledge on the semantic Web and its applications, a new fuzzy extension of Attribute Language with Complement based on dynamic fuzzy logic called the dynamic fuzzy description logic (DFALC) is presented. The syntax and semantics of DFALC are formally defined, and the forms of axioms and assertions are specified. The DFALC provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using fuzzy description logic FALC to act as logical foundation for the semantic Web. The extended DFALC is more expressive than the existing fuzzy description logics and present more fuzzy information on the semantic Web.展开更多
Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approa...Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography.Based on the framework,a set of rules and constraints are defined in Description Logic for choreography model verification.To automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the method.Furthermore,the work will be compared with other related research.展开更多
The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to mode...The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language (UML) and building domain ontologies with fuzzy description logic (DL). The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.展开更多
To solve the problem of chaining distributed geographic information Web services (GI Web services), this paper provides an ontology-based method. With this method, semantic service description can be achieved by sem...To solve the problem of chaining distributed geographic information Web services (GI Web services), this paper provides an ontology-based method. With this method, semantic service description can be achieved by semantic annotation of the elements in a Web service description language(WSDL) document with concepts of geographic ontology, and then a common under-standing about service semantics between customers and providers of Web services is built. Based on the decomposition and formalization of customer requirements, the discovery, composition and execution of GI Web services are explained in detail, and then a chaining of GI Web services is built and used to achieve the customer's requirement. Finally, an example based on Web ontology language for service (OWL-S) is provided for testing the feasibility of this method.展开更多
System-of-systems (SOS) engineering involves a com- plex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems ma...System-of-systems (SOS) engineering involves a com- plex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capa- bility objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and non- functional features of SoS requirements for command and control, communication, computer, intelligence, surveillance reconnais- sance (C41SR) systems. A domain-specific modeling language is defined by extending unified modeling language (UML) con- structed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An effi- ciency evaluation function is introduced, based on Bezier curves, to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic (DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet.展开更多
Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to bui...Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for video event detection.The proposed logic system is named as LTD_(ALCO)which can represent and inference the static,dynamic and temporal knowledge in one uniform logic system.Based on the LTD_(ALCO),a framework for video event detection is proposed.The video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTD_(ALCO)formulas.展开更多
Purpose–The purpose of this paper is to show how description logics(DLs)can be applied to formalizing the information bearing capability(IBC)of paths in entity-relationship(ER)schemata.Design/methodology/approach–Th...Purpose–The purpose of this paper is to show how description logics(DLs)can be applied to formalizing the information bearing capability(IBC)of paths in entity-relationship(ER)schemata.Design/methodology/approach–The approach follows and extends the idea presented in Xu and Feng(2004),which applies DLs to classifying paths in an ER schema.To verify whether the information content of a data construct(e.g.a path)covers a semantic relation(which formulates a piece of information requirement),the principle of IBC under the source-bearer-receiver framework is presented.It is observed that the IBC principle can be formalized by constructing DL expressions and examining constructors(e.g.quantifiers).Findings–Description logic can be used as a tool to describe the meanings represented by paths in an ER schema and formalize their IBC.The criteria for identifying data construct distinguishability are also discovered by examining quantifiers in DL expressions of paths of an ER schema.Originality/value–This paper focuses on classifying paths in data schemas and verifying their formalized IBC by using DLs and the IBC principle.It is a new point of view for evaluation of data representation,which looks at the information borne by data but not data dependencies.展开更多
To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By de...To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language (OWL) is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality.展开更多
The current research works and the existing problems of terminological cycles in description logics are analyzed in this paper. Referring to the works of Baader F and Nebel B, we aim in a new direction. Firstly, descr...The current research works and the existing problems of terminological cycles in description logics are analyzed in this paper. Referring to the works of Baader F and Nebel B, we aim in a new direction. Firstly, description logic vL is defined, and the description graphs GT and GJ are redefined. A syntax condition for the satisfiability of membership relation is given. By using this syntax condition, we prove the following: The subsumption reasoning in vL with respect to gfp-model, Ifp-model and descriptive model is polynomial.展开更多
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and roles, thus providing the motivatio...Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and roles, thus providing the motivation for this work. In this paper, we present a type-2 fuzzy attributive concept language with complements (ALC) and provide its knowledge representation and reasoning algorithms. We also propose type-2 fuzzy web ontology language (OWL) to build a fuzzy ontology based on type- 2 fuzzy ALC and analyze the soundness, completeness, and complexity of the reasoning algorithms. Compared to type-1 fuzzy ALC, type-2 fuzzy ALC can describe imprecise knowledge more meticulously by using the membership degree interval. We implement a semantic search engine based on type-2 fuzzy ALC and carry out experiments on real data to test its performance. The results show that the type-2 fuzzy ALC can improve the precision and increase the number of relevant hits for imprecise information searches.展开更多
System of systems engineering(So SE) involves the complex procedure of translating capability needs into the high-level requirements for system of systems(So S) and evaluating how the SoS quality requirements meet the...System of systems engineering(So SE) involves the complex procedure of translating capability needs into the high-level requirements for system of systems(So S) and evaluating how the SoS quality requirements meet their capability needs. One of the key issues is to model the So S requirements and automate the verification procedure. To solve the problem of modeling and verification, meta-models are proposed to refine both functional and non-functional characteristics of the So S requirements. A domain-specific modeling language is defined by extending Unified Modeling Language(UML) class and association with fuzzy constructs to model the vague and uncertain concepts of the SoS quality requirements. The efficiency evaluation function of the cloud model is introduced to evaluate the efficiency of the SoS quality requirements. Then a concise algorithm transforms the fuzzy UML models into the description logic(DL) ontology so that the verification can be automated with a DL reasoner. This method implements modeling and verification of high-level So S quality requirements. A crisp case is used to facilitate and demonstrate the correctness and feasibility of this method.展开更多
In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical consequence.In recent years,SAT-based axiom pinpointing techniques,which rely on the enu...In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical consequence.In recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of minimal unsatisfiable subsets(MUSes)of pinpointing formulas,have gained increasing attention.Compared with traditional Tableau-based reasoning approaches,SAT-based techniques are more competitive when computing justifications for consequences in large-scale lightweight description logic ontologies.In this article,we propose a novel enumeration justification algorithm,working with a replicated driver.The replicated driver discovers new justifications from the explored justifications through cheap literals resolution,which avoids frequent calls of SAT solver.Moreover,when the use of SAT solver is inevitable,we adjust the strategies and heuristic parameters of the built-in SAT solver of axiom pinpointing algorithm.The adjusted SAT solver is able to improve the checking efficiency of unexplored sub-formulas.Our proposed method is implemented as a tool named RDMinA.The experimental results show that RDMinA outperforms the existing axiom pinpointing tools on practical biomedical ontologies such as Gene,Galen,NCI and Snomed-CT.展开更多
A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism, CTLDL is defined, which is an extension of th...A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism, CTLDL is defined, which is an extension of the temporal logic CTL by description logic concepts. In contrast to existing solutions this approach allows for the integration of ontologies to achieve interoperability and abstraction from implementation aspects of documents. This makes CTLDL specifically suitable for the integration of heterogeneous and distributed information resources in the semantic web.展开更多
Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology engineering.In this paper,we focus on black-box techniques which are based on ontology reasoners.Through creating ...Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology engineering.In this paper,we focus on black-box techniques which are based on ontology reasoners.Through creating a recursive expansion procedure,all elements which are called critical axioms in the justification are explored one by one.In this detection procedure,an axiom selection function is used to avoid testing irrelevant axioms.In addition,an incremental reasoning procedure has been proposed in order to substitute series of standard reasoning tests w.r.t.satisfiability.It is implemented by employing a pseudo model to detect“obvious”satisfiability directly.The experimental results show that our proposed strategy for extracting justifications for OWL ontologies by adopting incremental expansion is superior to traditional Black-box methods in terms of efficiency and performance.展开更多
Structured study of spatial objects and their relationships leads to a better cognition of the geospatial information and creates the concept of context at a higher level of abstraction.This study is aimed at providin...Structured study of spatial objects and their relationships leads to a better cognition of the geospatial information and creates the concept of context at a higher level of abstraction.This study is aimed at providing a comprehensive definition of the context for geospatial objects.A combination of binary qualitative spatial relationships(i.e.direction,distance,and topological relations)among the members of a set of spatial objects will be used accordingly.In addition,by incorporating the general concept of context,obtained from either static data(attributes in a database)or dynamic data(sensors),the compact context of spatial objects will be introduced.Our framework for presentation of the involved knowledge and conception about the objects in context is also explored using ontology and description logic because of powerful conceptualization of relationships,either spatial or non-spatial,integrally.For this purpose,the hierarchies of main structure and object properties are formed at first.The constraint and characteristics of classes,such as subclasses,equivalent classes,cardinality etc.,and object properties,such as being functional,transitive,symmetric,asymmetric,inverse functional,disjoint etc.,are discovered and presented in more detail using web ontology language in description logic mode.The implementation is then performed in the framework of semantic web and extensible markup language syntaxes.The method ultimately facilitates,spatial reasoning by effective querying in a semantic framework taking pellet reasoner and SPARQL(a recursive acronym for SPARQL Protocol and RDF Query Language).展开更多
Description logic programs (DLP) are an expressive but tractable subset of OWL. This paper ana-lyzes the important under-researched problem of learning DLP from uncertain data. Current studies have rarely explored t...Description logic programs (DLP) are an expressive but tractable subset of OWL. This paper ana-lyzes the important under-researched problem of learning DLP from uncertain data. Current studies have rarely explored the plentiful uncertain data populating the semantic web. This algorithm handles uncertain data in an inductive logic programming framework by modifying the performance evaluation criteria. A pseudo-log-likelihood based measure is used to evaluate the performance of different literals under uncer-tainties. Experiments on two datasets demonstrate that the approach is able to automatically learn a rule-set from uncertain data with acceptable accuracy.展开更多
基金Supported by the National Natural Science Foun-dation of China (60403027)
文摘This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy. With the idea of the consistent hashing in the Chord, our algorithm stores the addresses and resources with the values of the same type to select instance. In addition, each peer has its own ontology, which will be completed by the knowledge distributed over the network during the exchange of CHGs (classification hierarchy graphs). The hierarchy classification of concepts allows to find matching resource by querying to the upper level concept because the all concepts described in the CHG have the same root.
基金Supported by the National Natural Science Foundation of China(Nos.61005043 and 60970045)
文摘Ontology diagnosis, a well-known approach for handling inconsistencies in a description logic (DL) based ontology, computes a diagnosis of the ontology, i.e., a minimal subset of axioms in the ontology whose removal restores consistency. However, ontology diagnosis is computationally hard, especially computing a minimum cost diagnosis (MCD) which is a diagnosis such that the sum of the removal costs attached to its axioms is minimized. This paper addresses this problem by finding data tractable DLs for computing an MCD which allow computing an MCD in time polynomial in the size of the ABox of a given ontology. ABox decomposition is used to find a sufficient and necessary condition to identify data tractable DLs for computing an MCD under the unique name assumption (UNA) among all fragments of that are at least as expressive as without inverse roles. The most expressive, data tractable DL identified is without inverse roles or qualified existential restrictions.
基金the Program for New Century Excellent Talents in University (NCET-05-0288)the Specialized Research Fund for the Doctoral Program of Higher Education of China (20050145024)
文摘Description logics (DLs) play an important role in representing and reasoning domain knowledge. Conjunctive queries stemmed from the domain of relational databases, and have attracted more attentions in semantic Web recently. To acquire a tractable DL for query answering, DL-Lite is proposed. Due to the large amount of imprecision and uncertainty in the real world, it is essential to extend DLs to deal with these vague and imprecise information. We thus propose a new fuzzy DL f-DLR-Lite.n, which allows for the presence of n-ary relations and the occurrence of concept conjunction on the left land of inclusion axioms. We also suggest an improved fuzzy query language, which supports the presence of thresholds and user defined weights. We also show that the query answering algorithm over the extended DL is still FOL reducible and shows polynomial data complexity. DL f-DLR-Lite,n can make up for the disadvantages of knowledge representation and reasoning of classic DLs, and the enhanced query language expresses user intentions more precisely and reasonably.
基金the National Natural Science Foundation of China (60673092)Key Project of Ministry of Education of China (205059)+2 种基金the 2006 Jiangsu Sixth Talented-Personnel Research Program (06-E-037)The Project of Jiangsu Key Laboratory of Computer Information Processing Technologythe Higher Education Graduate Research Innovation Program of Jiangsu Province
文摘Fuzzy description logics are considered as the logical infrastructure of fuzzy knowledge representation on the semantic Web. To deal with fuzzy and dynamic knowledge on the semantic Web and its applications, a new fuzzy extension of Attribute Language with Complement based on dynamic fuzzy logic called the dynamic fuzzy description logic (DFALC) is presented. The syntax and semantics of DFALC are formally defined, and the forms of axioms and assertions are specified. The DFALC provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using fuzzy description logic FALC to act as logical foundation for the semantic Web. The extended DFALC is more expressive than the existing fuzzy description logics and present more fuzzy information on the semantic Web.
基金This work is supported by the National Natural Science Fund number 61802428.
文摘Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography.Based on the framework,a set of rules and constraints are defined in Description Logic for choreography model verification.To automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the method.Furthermore,the work will be compared with other related research.
文摘The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language (UML) and building domain ontologies with fuzzy description logic (DL). The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.
基金the National Natural Science Fundation ofChina (60774041)
文摘To solve the problem of chaining distributed geographic information Web services (GI Web services), this paper provides an ontology-based method. With this method, semantic service description can be achieved by semantic annotation of the elements in a Web service description language(WSDL) document with concepts of geographic ontology, and then a common under-standing about service semantics between customers and providers of Web services is built. Based on the decomposition and formalization of customer requirements, the discovery, composition and execution of GI Web services are explained in detail, and then a chaining of GI Web services is built and used to achieve the customer's requirement. Finally, an example based on Web ontology language for service (OWL-S) is provided for testing the feasibility of this method.
基金supported by the National Natural Science Foundation of China(61273210)
文摘System-of-systems (SOS) engineering involves a com- plex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capa- bility objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and non- functional features of SoS requirements for command and control, communication, computer, intelligence, surveillance reconnais- sance (C41SR) systems. A domain-specific modeling language is defined by extending unified modeling language (UML) con- structed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An effi- ciency evaluation function is introduced, based on Bezier curves, to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic (DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.60933004,60903141,60903079,60775030 and 60775035)the National Basic Research Program of China(No.2007CB311004)+1 种基金National High Technology Research and Development Program of China(No.2007AA01Z132)the National Science and Technology Pillar Program(No.2006BAC08B06).
文摘Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for video event detection.The proposed logic system is named as LTD_(ALCO)which can represent and inference the static,dynamic and temporal knowledge in one uniform logic system.Based on the LTD_(ALCO),a framework for video event detection is proposed.The video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTD_(ALCO)formulas.
基金This work has been funded by Scientific Research Common Program of Beijing Municipal Commission of Education(No.KM201311417011)the Importation and Development of High-Caliber Talents Project of Beijing Municipal Institutions(No.CIT&TCD201404089)Funding project of Beijing Philosophy and Social Science Research Program(No.11JGB039).
文摘Purpose–The purpose of this paper is to show how description logics(DLs)can be applied to formalizing the information bearing capability(IBC)of paths in entity-relationship(ER)schemata.Design/methodology/approach–The approach follows and extends the idea presented in Xu and Feng(2004),which applies DLs to classifying paths in an ER schema.To verify whether the information content of a data construct(e.g.a path)covers a semantic relation(which formulates a piece of information requirement),the principle of IBC under the source-bearer-receiver framework is presented.It is observed that the IBC principle can be formalized by constructing DL expressions and examining constructors(e.g.quantifiers).Findings–Description logic can be used as a tool to describe the meanings represented by paths in an ER schema and formalize their IBC.The criteria for identifying data construct distinguishability are also discovered by examining quantifiers in DL expressions of paths of an ER schema.Originality/value–This paper focuses on classifying paths in data schemas and verifying their formalized IBC by using DLs and the IBC principle.It is a new point of view for evaluation of data representation,which looks at the information borne by data but not data dependencies.
基金Supported by the National Natural Science Foundation of China(61462020,61363006,61163057)the Guangxi Experiment Center of Information Science Foundation(20130329)the Guangxi Natural Science Foundation(2014GXNSFAA118375)
文摘To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language (OWL) is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 60496320, 60573010 and 60663001)the National Natural Science Foundation of Guangxi Province, China (Grant No. 0447032)the Youth Science Foundation of Guangxi Province of China (Grant No. 0640030)
文摘The current research works and the existing problems of terminological cycles in description logics are analyzed in this paper. Referring to the works of Baader F and Nebel B, we aim in a new direction. Firstly, description logic vL is defined, and the description graphs GT and GJ are redefined. A syntax condition for the satisfiability of membership relation is given. By using this syntax condition, we prove the following: The subsumption reasoning in vL with respect to gfp-model, Ifp-model and descriptive model is polynomial.
基金Acknowledgements This work was supported by the National Natural Science Foundation of China (Grant Nos. 60873225, 60873083, and 70771043), the National High Technology Research and Development Program of China (2007AA01Z403), the Natural Science Foundation of Hubei Province (2009CDB298), the Natural Science Foundation of Hubei Province for Distinguished Young Scholars (2008CDB351), the Wuhan Youth Science and Technology Chenguang Program (200950431171), the Open Foundation of State Key Laboratory of Software Engineering (SKLSE20080718), the Innovation Fund of Huazhong University of Science and Technology (2010MS068, Q2009021).
文摘Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and roles, thus providing the motivation for this work. In this paper, we present a type-2 fuzzy attributive concept language with complements (ALC) and provide its knowledge representation and reasoning algorithms. We also propose type-2 fuzzy web ontology language (OWL) to build a fuzzy ontology based on type- 2 fuzzy ALC and analyze the soundness, completeness, and complexity of the reasoning algorithms. Compared to type-1 fuzzy ALC, type-2 fuzzy ALC can describe imprecise knowledge more meticulously by using the membership degree interval. We implement a semantic search engine based on type-2 fuzzy ALC and carry out experiments on real data to test its performance. The results show that the type-2 fuzzy ALC can improve the precision and increase the number of relevant hits for imprecise information searches.
基金Project supported by the National Natural Science Foundation of China(No.61273210)
文摘System of systems engineering(So SE) involves the complex procedure of translating capability needs into the high-level requirements for system of systems(So S) and evaluating how the SoS quality requirements meet their capability needs. One of the key issues is to model the So S requirements and automate the verification procedure. To solve the problem of modeling and verification, meta-models are proposed to refine both functional and non-functional characteristics of the So S requirements. A domain-specific modeling language is defined by extending Unified Modeling Language(UML) class and association with fuzzy constructs to model the vague and uncertain concepts of the SoS quality requirements. The efficiency evaluation function of the cloud model is introduced to evaluate the efficiency of the SoS quality requirements. Then a concise algorithm transforms the fuzzy UML models into the description logic(DL) ontology so that the verification can be automated with a DL reasoner. This method implements modeling and verification of high-level So S quality requirements. A crisp case is used to facilitate and demonstrate the correctness and feasibility of this method.
基金supported by the National Natural Science Foundation of China(NSFC)(Grant Nos.42050103,62076108,and U19A2061).
文摘In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical consequence.In recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of minimal unsatisfiable subsets(MUSes)of pinpointing formulas,have gained increasing attention.Compared with traditional Tableau-based reasoning approaches,SAT-based techniques are more competitive when computing justifications for consequences in large-scale lightweight description logic ontologies.In this article,we propose a novel enumeration justification algorithm,working with a replicated driver.The replicated driver discovers new justifications from the explored justifications through cheap literals resolution,which avoids frequent calls of SAT solver.Moreover,when the use of SAT solver is inevitable,we adjust the strategies and heuristic parameters of the built-in SAT solver of axiom pinpointing algorithm.The adjusted SAT solver is able to improve the checking efficiency of unexplored sub-formulas.Our proposed method is implemented as a tool named RDMinA.The experimental results show that RDMinA outperforms the existing axiom pinpointing tools on practical biomedical ontologies such as Gene,Galen,NCI and Snomed-CT.
文摘A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism, CTLDL is defined, which is an extension of the temporal logic CTL by description logic concepts. In contrast to existing solutions this approach allows for the integration of ontologies to achieve interoperability and abstraction from implementation aspects of documents. This makes CTLDL specifically suitable for the integration of heterogeneous and distributed information resources in the semantic web.
基金Research presented in this paper was partially supported by the National Natural Science Foundation of China(Grant Nos.61672261,61502199)It’s also funded by China Scholarship Council(201506175028)for the first author of this paper.
文摘Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology engineering.In this paper,we focus on black-box techniques which are based on ontology reasoners.Through creating a recursive expansion procedure,all elements which are called critical axioms in the justification are explored one by one.In this detection procedure,an axiom selection function is used to avoid testing irrelevant axioms.In addition,an incremental reasoning procedure has been proposed in order to substitute series of standard reasoning tests w.r.t.satisfiability.It is implemented by employing a pseudo model to detect“obvious”satisfiability directly.The experimental results show that our proposed strategy for extracting justifications for OWL ontologies by adopting incremental expansion is superior to traditional Black-box methods in terms of efficiency and performance.
文摘Structured study of spatial objects and their relationships leads to a better cognition of the geospatial information and creates the concept of context at a higher level of abstraction.This study is aimed at providing a comprehensive definition of the context for geospatial objects.A combination of binary qualitative spatial relationships(i.e.direction,distance,and topological relations)among the members of a set of spatial objects will be used accordingly.In addition,by incorporating the general concept of context,obtained from either static data(attributes in a database)or dynamic data(sensors),the compact context of spatial objects will be introduced.Our framework for presentation of the involved knowledge and conception about the objects in context is also explored using ontology and description logic because of powerful conceptualization of relationships,either spatial or non-spatial,integrally.For this purpose,the hierarchies of main structure and object properties are formed at first.The constraint and characteristics of classes,such as subclasses,equivalent classes,cardinality etc.,and object properties,such as being functional,transitive,symmetric,asymmetric,inverse functional,disjoint etc.,are discovered and presented in more detail using web ontology language in description logic mode.The implementation is then performed in the framework of semantic web and extensible markup language syntaxes.The method ultimately facilitates,spatial reasoning by effective querying in a semantic framework taking pellet reasoner and SPARQL(a recursive acronym for SPARQL Protocol and RDF Query Language).
基金Supported by the National Natural Science Foundation of China(Nos.60773107,60873153,and 60803061)
文摘Description logic programs (DLP) are an expressive but tractable subset of OWL. This paper ana-lyzes the important under-researched problem of learning DLP from uncertain data. Current studies have rarely explored the plentiful uncertain data populating the semantic web. This algorithm handles uncertain data in an inductive logic programming framework by modifying the performance evaluation criteria. A pseudo-log-likelihood based measure is used to evaluate the performance of different literals under uncer-tainties. Experiments on two datasets demonstrate that the approach is able to automatically learn a rule-set from uncertain data with acceptable accuracy.