检索结果-南通市图书馆

Satisfiability and reasoning mechanism of terminological cycles in description logic vL

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science in China(Series F) 2008年第9期51卷 1204-1214页

作者： WANG Ju JIANG YunCheng SHEN YuMing College of Computer Science and Information Engineering Guangxi Normal University Guilin 541004China

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

Fuzzy description logic based on vague sets

在线全文

学校读者我要写书评

暂无评论

Journal of Southeast University(English Edition) 2007年第3期23卷 399-402页

作者：马宗民王海龙严丽赵法信东北大学信息科学与工程学院沈阳110004

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

A Dynamic Fuzzy description logic

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2008年第4期13卷 417-420页

作者： FANG Wei XIAN Xuefeng ZHAO Pengpeng CUI Zhiming Jiangsu Provincial Key Laboratory of Computer InformationProcessing Technology Soochow University Suzhou 215006Jiangsu China

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

The correspondence between the concepts in description logics for contexts and formal concept analysis

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第5期55卷 1106-1122页

作者： MA Yue 1,2,SUI YueFei 1 & CAO CunGen 1 1 Key Laboratory of Intelligent Information Processing,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China 2 Graduate University of Chinese Academy of Sciences,Beijing,China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of Chinese Academy of Sciences Beijing China

Formal concept analysis (FCA) and description logic (DL) are meant to be formalizations of concepts.A formal concept in the former consists of its intent and extent,where the intent is the set of all the attributes shared by each object in the extent of the concept,and the extent is the set of all the objects sharing each property in the intent of the concept.A concept in the latter formalization is simply a concept name,the interpretation of which is a subset of a *** consider the correspondence between concepts in both formalizations,a multi-valued formal context must be represented both as a knowledge base and as a model of the DL for contexts,where concepts are decomposed into tuple concepts C,interpreted as a set of tuples and value concepts V,interpreted as a set of attribute-value *** show that there is a difference between the interpretation of concepts R.V /R.C and the Galois connection between the extent/intent of formal concepts in *** to the Galois connection,there should be concepts of the form + R.V and + R.C inter-preted in FCA,and hence the logical language L for DL is extended to be L + together with + as a constructor so that + R.V and + R.C are well-defined ***,according to the interpretation in DL there should be pseudo concepts in FCA so that the interpretation of concepts R.V /R.C is the extent/intent of pseudo *** correspondence between formal concepts and concepts in L +,and between pseudo concepts and concepts in L are presented in this paper.

关键词： description logic formal concept analysis concept attribute/role

Integrity constraints in OWL ontologies based on grounded circumscription

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第6期7卷 812-821页

作者： Dantong OUYANG College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China National Engineering Research Center of Geophysics Exploration Instruments Changchun 130026 China

The extensions for logic-based knowledge bases with integrity constraints are rather popular. We put forward an alternative criteria for analysis of integrity constraints in Web ontology language （OWL） ontology under the closed world assumption. According to this criteria, grounded circumscription is applied to define integrity constraints in OWL ontology and the satisfaction of the integrity constraints by minimizing extensions of the predicates in integrity con- straints. According to the semantics of integrity constraints, we provide a modified tableau algorithm which is sound and complete for deciding the consistency of an extended ontol- ogy. Finally, the integrity constraint validation is converted into the corresponding consistency of the extended ontology. Comparing our approach with existing integrity constraint validation approaches, we show that the results of our approach are more in accordance with user requirements than other approaches in certain cases.

关键词： semantic Web description logic ontology integrity constraints grounded circumscription

Lightweight axiom pinpointing via replicated driver and customized SAT-solving

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2023年第2期17卷 121-133页

作者： Dantong OUYANG Mengting LIAO Yuxin YE College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering(Jilin University) Ministry of EducationChangchun 130012China

In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical *** recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of minimal unsatisfiable subsets(MUSes)of pinpointing formulas,have gained increasing *** with traditional Tableau-based reasoning approaches,SAT-based techniques are more competitive when computing justifications for consequences in large-scale lightweight description logic *** this article,we propose a novel enumeration justification algorithm,working with a replicated *** replicated driver discovers new justifications from the explored justifications through cheap literals resolution,which avoids frequent calls of SAT ***,when the use of SAT solver is inevitable,we adjust the strategies and heuristic parameters of the built-in SAT solver of axiom pinpointing *** adjusted SAT solver is able to improve the checking efficiency of unexplored *** proposed method is implemented as a tool named *** experimental results show that RDMinA outperforms the existing axiom pinpointing tools on practical biomedical ontologies such as Gene,Galen,NCI and Snomed-CT.

关键词： axiom pinpointing description logic SAT solver

Domain-specific modeling and verification for C4ISR capability requirements

在线全文

学校读者我要写书评

暂无评论

Journal of Central South University 2012年第5期19卷 1334-1340页

作者：董庆超王智学陈国友蒋鑫张婷婷 Technology of Command and Control Department PLA University of Science and Technology Institute of Sciences PLA University of Science and Technology

An approach was proposed to specify the C4ISR capability of domain-specific modeling *** 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 *** 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 *** 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

OntoPowSys: A power system ontology for cross domain interactions in an eco industrial park

在线全文

学校读者我要写书评

暂无评论

能源与人工智能(英文) 2020年第1期1卷 87-104页

作者： Aravind Devanand Gourab Karmakar Nenad Krdzavac Remy Rigo-Mariani YSFoo Eddy Iftekhar AKarimi Markus Kraft Department of Chemical and Biomolecular Engineering National University of SingaporeEngineering Drive 4117585Singapore Cambridge Centre for Advanced Research and Education in Singapore(CARES) CREATE Tower1 Create Way138602Singapore Department of Chemical Engineering and Biotechnology University of CambridgePhilippa Fawcett DriveWest SiteCambridge CB30ASUK School of Chemical and Biomedical Engineering Nanyang Technological University62 Nanyang Drive637459Singapore School of Electrical and Electronic Engineering Nanyang Technological University 50 Nanyang Avenue639798Singapore Univ.Grenoble Alpes CNRSGrenoble INPG2Elab

Knowledge management in multi-domain,heterogeneous industrial networks like an Eco-Industrial Park(EIP)is a challenging *** this paper,an ontology-based management system has been proposed for addressing this *** focuses on the power systems domain and provides a framework for integrating this knowledge with the other domains of an *** proposed ontology,OntoPowSys is expressed using a description logics(DL)syntax and the OWL2 language was used to make it *** is then used as a part of the Knowledge Management System(KMS)in a virtual EIP called the J-Park Simulator(JPS).The advantages of the proposed approach are demonstrated by conducting two case studies on the *** first case study illustrates the application of optimal power flow(OPF)in the electrical network of the *** second case study plays an important role in under-standing the cross-domain interactions between the chemical and electrical engineering domains in a bio-diesel plant of the *** case studies are available as web services on the JPS *** results showcase the advantages of using ontologies in the development of decision support *** tools are capable of taking into account contextual information on top of data during their decision-making *** are also able to exchange knowledge across different domains without the need for a communication interface.

关键词： Bio-diesel plant description logic Eco-Industrial Park Industry 4.0 Knowledge base Knowledge graph Ontology Optimal power flow

Ontological exploration of geospatial objects in context

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Geo-Spatial Information Science 2014年第2期17卷 129-138页

作者： Mohammad H.VAHIDNIA Ali A.ALESHEIKH Faculty of Geodesy and Geomatics Engineering Department of Geospatial Information SystemsKhajeh Nasir Toosi University of TechnologyNo.1346Mirdamad CrossValiasr StreetTehran 19967-15433Iran

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 *** study is aimed at providing a comprehensive definition of the context for geospatial objects.A combination of binary qualitative spatial relationships(***,distance,and topological relations)among the members of a set of spatial objects will be used *** 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 *** 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,*** this purpose,the hierarchies of main structure and object properties are formed at *** 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 *** implementation is then performed in the framework of semantic web and extensible markup language *** 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).

关键词： spatial objects’context geographic information system qualitative spatial relation ontology description logic OWL