期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
Description logics for fuzzy ontologies on semantic web 被引量:6
1
作者 康达周 徐宝文 +1 位作者 陆建江 李言辉 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期343-347,共5页
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi... To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions (FCDLs) is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics (FDLs) and cut concepts from the extended fuzzy description logics (EFDLs) in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web. 展开更多
关键词 semantic web ONTOLOGY description logics FUZZY
下载PDF
Fuzzy description logic based on vague sets
2
作者 马宗民 王海龙 +1 位作者 严丽 赵法信 《Journal of Southeast University(English Edition)》 EI CAS 2007年第3期399-402,共4页
To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is present... To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web. 展开更多
关键词 semantic web description logic fuzzy logic vague sets tableau algorithm
下载PDF
Reasoning complexity for extended fuzzy description logic with qualifying number restriction
3
作者 陆建江 李言辉 +2 位作者 张亚非 周波 康达周 《Journal of Southeast University(English Edition)》 EI CAS 2007年第2期236-240,共5页
To solve the extended fuzzy description logic with qualifying number restriction (EFALCQ) reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction (ALCQ), and ALCQ... To solve the extended fuzzy description logic with qualifying number restriction (EFALCQ) reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction (ALCQ), and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete. 展开更多
关键词 extended fuzzy description logic qualifying number restriction reasoning complexity
下载PDF
A Dynamic Fuzzy Description Logic
4
作者 FANG Wei XIAN Xuefeng ZHAO Pengpeng CUI Zhiming 《Wuhan University Journal of Natural Sciences》 CAS 2008年第4期417-420,共4页
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. 展开更多
关键词 dynamic fuzzy logic description logic dynamic fuzzy description logic semantic Web
下载PDF
An Extended Ontology Model and Ontology Checking Based on Description Logics 被引量:8
5
作者 王洪伟 蒋馥 吴家春 《Journal of Shanghai Jiaotong university(Science)》 EI 2004年第1期34-41,共8页
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term... Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking. 展开更多
关键词 ONTOLOGY description logics ontology checking term checking instantiation checking
下载PDF
Construction and Resource Locating of Semantic P2P Grid Based on Description Logics 被引量:1
6
作者 SUN Xiao-lin LU Zheng-ding LI Yu-hua WEN Kun-mei Li Rui-xuan 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第1期78-82,共5页
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. 展开更多
关键词 semantic P2P description logics consistent hashing ONTOLOGY CHG (classification hierarchy graphs)
下载PDF
A Formal Method for Service Choreography Verification Based on Description Logic
7
作者 Tingting Zhang Yushi Lan +2 位作者 Minggang Yu Changyou Zheng Kun Liu 《Computers, Materials & Continua》 SCIE EI 2020年第2期893-904,共12页
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. 展开更多
关键词 Service choreography WS-CDL meta-concept model description logic formal verification
下载PDF
Querying over Fuzzy Description Logic
8
作者 CHENG Jingwei MA Zongmin YAN Li WANG Hailong 《Wuhan University Journal of Natural Sciences》 CAS 2008年第4期429-434,共6页
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. 展开更多
关键词 query answering fuzzy set description logics
下载PDF
Satisfiability and reasoning mechanism of terminological cycles in description logic vL 被引量:3
9
作者 WANG Ju JIANG YunCheng SHEN YuMing 《Science in China(Series F)》 2008年第9期1204-1214,共11页
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 logic terminological cycles description graph MODEL
原文传递
A quality requirements model and verification approach for system of systems based on description logic 被引量:1
10
作者 Qing-long WANG Zhi-xue WANG +1 位作者 Ting-ting ZHANG Wei-xing ZHU 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2017年第3期346-361,共16页
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. 展开更多
关键词 System of systems(So S) Cloud model description logic(DL) Requirements verification
原文传递
A dynamic description logic based system for video event detection 被引量:2
11
作者 Xiaofeng WANG Liang CHANG +1 位作者 Zhixin LI Zhongzhi SHI 《Frontiers of Electrical and Electronic Engineering in China》 CSCD 2010年第2期137-142,共6页
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. 展开更多
关键词 video event SEMANTICS dynamic description logics REASONING ONTOLOGY
原文传递
Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decomposition
12
作者 杜剑峰 漆桂林 Jeff Z.Pan 《Tsinghua Science and Technology》 SCIE EI CAS 2010年第6期623-632,共10页
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. 展开更多
关键词 ontology diagnosis minimum cost diagnosis description logics data tractability
原文传递
Type-2 fuzzy description logic
13
作者 Ruixuan LI Kunmei WEN +3 位作者 Xiwu GU Yuhua LI Xiaolin SUN Bing LI 《Frontiers of Computer Science》 SCIE EI CSCD 2011年第2期205-215,共11页
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. 展开更多
关键词 description logic (DL) type-2 fuzzy attributive concept language with complements (ALC) fuzzy ontology REASONING semantic search engine
原文传递
A description logic based approach to formalizing the information bearing capability of paths in ER schemata
14
作者 Kaibo Xu Junkang Feng +1 位作者 Malcolm Crowe Lin Liu 《International Journal of Intelligent Computing and Cybernetics》 EI 2015年第3期279-291,共13页
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. 展开更多
关键词 Information retrieval Semantic web Classification of paths Information-bearing capability description logics ER schema
下载PDF
New method for query answering in semantic web 被引量:1
15
作者 林培光 刘弘 +1 位作者 樊孝忠 王涛 《Journal of Southeast University(English Edition)》 EI CAS 2006年第3期319-323,共5页
To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward... To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph (AG), which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval. 展开更多
关键词 description logic assertional graph semantic web information retrieval
下载PDF
New reasoning algorithm based on EFALC
16
作者 周波 陆建江 +2 位作者 张亚非 康达周 李言辉 《Journal of Southeast University(English Edition)》 EI CAS 2006年第4期496-500,共5页
The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reas... The current extended fuzzy description logics lack reasoning algorithms with TBoxes. The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w. r. t. TBoxes is proposed, and a reasoning algorithm is given. This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics. The transformation rules and the process of this algorithm is described and optimized with three main techniques: recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete. 展开更多
关键词 extended fuzzy description logic cut concept TBox reasoning algorithm
下载PDF
Domain-specific modeling and verification for C4ISR capability requirements 被引量:4
17
作者 董庆超 王智学 +2 位作者 陈国友 蒋鑫 张婷婷 《Journal of Central South University》 SCIE EI CAS 2012年第5期1334-1340,共7页
An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defin... An approach was proposed to specify the C4ISR capability of domain-specific modeling language.To confine the domain modeling within a standard architecture framework,formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework.The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language.The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology. 展开更多
关键词 C4ISR capability meta-ontology domain-specific modeling description logic
下载PDF
Capability requirements modeling and verification based on fuzzy ontology 被引量:4
18
作者 Qingchao Dong Zhixue Wang Weixing Zhu Hongyue He 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第1期78-87,共10页
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. 展开更多
关键词 fuzzy ontology fuzzy unified modeling language (UML) fuzzy description logic (DL) model checking.
下载PDF
Chaining Distributed Geographic Information Web Services Based on Ontology 被引量:2
19
作者 WU Shanming SHEN Jianjing 《Wuhan University Journal of Natural Sciences》 CAS 2008年第4期401-406,共6页
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. 展开更多
关键词 Web service geographic information Web services ONTOLOGY description logic Web ontology langugae (OWL)
下载PDF
Modeling and verifying So S performance requirements of C4ISR systems 被引量:2
20
作者 Yudong Qi Zhixue Wang +1 位作者 Qingchao Dong Hongyue He 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2015年第4期754-763,共10页
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. 展开更多
关键词 performance requirements efficiency evaluation func-tion description logic (DL) rationality.
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部