The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Planning techniques have been applied in a variety of tasks including robotics, process planning, web-based information gathering, autonomous agents and spacecraft mission control. We propose to use Answer Set Planning to model and solve the problem of defining a sequence of actions to achieve assembled physical systems whenever a given stock suppliance is sufficient. We illustrate our proposal considering...
For the sophisticated representation and reasoning in the rule and logic layers of the semantic Web, we propose a language which mainly based on the combination of fuzzy description logic (fuzzy SHOIQ(D)) and rule system (Datalog). Section 2 presents the syntax and semantics of the language. Section 3 discusses the problems relating to reasoning and proposes a graph-based algorithm for consistency...
The proposal and development of semantic web make ontology, as a new knowledge organization and semantic description method, get attention in various fields. The building of ontology is a basic and important task in semantic web. The construction method and organizational structure of ontology will directly affect the application of ontology. Based on the analysis of hierarchical characters existing...
Human does not understand an intelligent agent believe the real space well. Therefore, human interface for virtual space is not able to make a believable communication for the human. In this paper, we try to make a communication model between human and intelligent agent with an owl-like language which represents knowledge about real space. On the proposed owl-like language is consisted by location,...
An important challenge in the Knowledge Representation area is on representing and reasoning over temporally changing information. Particularly, a number of authors have been investigating approaches to extend the expressivity beyond what is currently supported by the DL (Description Logics) based languages in order to address this issue, while maintaining compatibility with subclasses of DLs adopted...
A new programming language - Quasi-Natural Language and an implementation of this language-Kaimeng language processing platform is introduced in this paper. This language represents knowledge as in natural language. And the elements of language are unlimited words instead of dozens of commands as in traditional programming language. This language is purposed to complicated and abstract programming...
The Region Connection Calculus based on 8 relations (RCC8) is one of several extensively researched methods to use for qualitative spatial representation and reasoning. We discuss several issues arising when representing RCC8 in OWL DL, a decidable fragment of OWL. There is no direct encoding of such a calculus in OWL DL, as the language lacks required features such as role reflexivity, role Boolean...
Ontology construction is closely related to semantic networks and artificial intelligence; it has broad prospects in knowledge reuse and share, just becoming mainstream of professional knowledge base construction. This study takes ontology-based triad representation into criminology knowledge base construction. It puts forward "three bases & four layers" model of criminology knowledge...
A new approach was presented for MAS development under the Semantic Web circumstances which was named MDJSW (MAS Development Joined with Semantic Web). According to this method, the usage of Semantic Web standards for describing the knowledge structure isolates domain knowledge modeling from system architecture to support iterative and parallel development. Furthermore, OWL and SWRL language are employed...
The ontology language RDFS and OWL are widely used in education semantic web but are limited in their mathematical expressivity. To represent the mathematical knowledge while preserving the semantic, Open Mathematical Document (OMDoc) is used as an ontology language. OMDoc is a content-based markup which focuses on representing the semantic of mathematical formulae instead of the formulae appearance...
Event as the unit of human knowledge, has attracted more and more attention and high regards from the academia. Events-based knowledge extraction and representation extend concept-based knowledge process techniques largely. In order to represent event-based knowledge, this paper extends existing web ontology language, OWL, by introducing some new constructors and axioms related to event features....
In this paper, the ontology-based geometry knowledge acquisition is presented and the classes, attributes, relations, axioms are acquired by using this method in the field of geometry. Simultaneously, the ontology-based geometry knowledge representation is presented, and the geometry knowledge is turned into this domain ontology by using RDF/OWL form as a base. On it constructs shareable, reusable,...
Ontology is an effective method of knowledge representation, however, the existing methods of constructing ontology are not suitable for the field of patent. It is known that the UML modeling of graphical is more intuitive than OWL. According to the demand of the patent information, the paper gives an ontology modeling method which combined UML with OWL in order to put forward the improvement of existing...
This paper studies the knowledge representation with ontology method in the Protege 2000 system. We first analyzed the various ontological methods for knowledge representation. Then we described the OWL method used in Protege 2000 for knowledge representation. We proposed the new method named problem-solving evolutionary method (PSEM) for knowledge representation in which it is based the OWL of Protege...
Genealogical Record is valuable for culture study and cultural heritage; therefore many efforts have been taken on digital preservation of Chinese Genealogical Record (CGR) in China. But preservation is not enough for inherit and spread Chinese traditional culture. We seek novel approaches to manage and utilize traditional CGR for modern use. We propose in this paper an ontology based knowledge management...
Spatial reasoning has gradually become a research hotspot in some domains such as GIS and spatio-temporal database. At present many spatio-temporal methods put forward by scholars are methods based on logic or algebra by and large, and researches on formalization representation and reasoning of geographic spatio-temporal knowledge are few. Geo-ontology researches detailed connotations and hierarchy...
The model presented in this paper is the main result of an on-going national science foundation project of china, called emergency-driven virtual organization (EDVO), which aims at integrating and scheduling heterogeneous, distributed resources from multi-domains, as well as sharing knowledge among them. Therefore, knowledge representation and sharing among the participating organizations become critical...
In order to discover the potential semantic association on the heterogeneous product information among the virtual enterprise units over the Internet, a linked-entity visualization (LEV) base on the XOEM+OWL is put forward that uses AJAX/SVG to realize the visualization in the display space of the browser. It is driven by the semantic data and its data on the relationships between individual entities...
OWL and RDF/RDFS are ontological languages developed by the World Wide Web Consortium (W3C), which have become a de facto standard for the ontological descriptions in various domains. The evolution of these standards was influenced by the numerous advances in the research of knowledge representation and reasoning. Although support for reasoning and standardized representation is the key benefit of...
For some reasoning problems it is necessary to infer the existence of new individuals satisfying stated condition. This kind of problems can not be fully resolved by OWL and SWRL. We present XSWRL (extended semantic Web rule language), an extension to SWRL, to resolve these problems. XSWRL introduces existentially quantified variables to rules. XSWRL extends SWRL in a syntactically and semantically...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.