Papers by Keyword: Description Logic

Abstract: The current research progress and the existing problems of semantics representation of the semantic Wed are analyzed. In this paper, we present an uncertain description logic C-SHOIN, which is an extension of description logics SHOIN based on cloud model. The syntax and semantics of description logic C-SHOIN are given; as well as the satisfiability of uncertain concepts. Example analysis shows that C-SHOIN is capable as the ontology language extensions to the representation of fuzzy and uncertain knowledge.

Abstract: Hierarchy organization is suitable for multi-robot system application. Robot or collaborative robots group is considered as an agent, then the organization model consists of agents and the relations between them. This paper introduces the logic of tasks combined with description logic to construct logic system. According to related works [4], we can prove is decidable, complete and sound. Based on the logic system, author presented a formal task-oriented hierarchy organization model that can deduce a plan with a strategy can complete task or not.

Abstract: Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic. This paper gives precompilation about the description logic ALCO TBox based on knowledge compilation techniques, for which the consistency of TBox can be determined.

Abstract: This paper presents OntoRT, an ontology model for Role-base Trust-management(RT) framework, which covers a large fragment of RT including RT₀, RT₁, RT₂ and application domain specification documents (ADSDs). RT addresses distributed authorization problems in decentralized collaborative systems. OntoRT establishes a common vocabulary for RT roles and policies across domains. We describe OntoRT formally in Description Logic(DL) SHOIN(D) and DL-safe SWRL rules. Basing on our logical formalization it is feasible to authorize and analyze RT policies automatically via the state of arts DL reasoners. Finally, we show how OntoRT can be integrated with OWL-DL ontologies which are W3C standard for representing information on the Web. By referring to OWL-DL ontologies that provide rich domain knowledge, specification and management of RT policies are simplified.

Abstract: This paper introduced a dual description logic for relations, in order to represent the difference of tuples and attribute values. In the logic, concepts are classified into two classes as follows: tuple-concepts and attribute-value concepts. This paper firstly gives the logical language, syntax and semantics of the logic, and secondly defines a transformation of a relation in a database into a knowledge base in the dual description logic, and last proposes a transformation of a model for the dual description logic into a relation.

Abstract: The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.

Abstract: As a sort of formalizing tool of knowledge representation, Description Logics have been successfully applied in Information System, Software Engineering and Natural Language processing and so on. Description Logics also play a key role in text representation, Natural Language semantic interpretation and language ontology description. Description Logics have been logical basis of OWL which is an ontology language that is recommended by W3C. This paper discusses the description logic basic ideas under vocabulary semantic, context meaning, domain knowledge and background knowledge.

Abstract: This theme focuses on representing and reasoning high-level semantic based on concepts and their space relations. As to multimedia data, such as image and video, acquiring, representing and retrieving high-level semantic information has been a confused problem for a long time. Without the support of knowledge database, it is an impossible mission to carry out the simple synonymous retrieval, let alone retrieving the abstract semantic. This paper proposes some algorithms to translate restored concepts and their relations into a Concept Semantic Network, which is visualized by SVG finally. The paper also introduces the method of recording concepts distribution by description logic, which services users with concepts and distribution retrieval.

Abstract: As a sort of formalizing tool of knowledge representation, Description Logics have been successfully applied in Information System, Software Engineering and Natural Language processing and so on. Description Logics also play a key role in text representation, Natural Language semantic interpretation and language ontology description. Description Logics have been logical basis of OWL which is an ontology language that is recommended by W3C. This paper discusses the description logic basic ideas under vocabulary semantic, context meaning, domain knowledge and background knowledge.

Abstract: The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.