원문정보
피인용수 : 0건 (자료제공 : 네이버학술정보)
초록
영어
This paper presents a Petri net based analysis of ontology for indoor location-based services. The proposed method builds up a Petri net model for the given ontology at the first step. Then, it analyzes the Petri net model by running the simulation on it. The proposed method of building a Petri net model for the given ontology is given in the paper. Then algorithms of performing inferences on the Petri net are proposed. Our proposed method is applied on a simple ontology for a sample Indoor Location-based service.
목차
Abstract
1. Introduction
2. Literature Review
2.1 RDF
2.2 Colored Petri Net
2.3 Other Related Research Results
3. Our Method of Transformation
4. Examples of Transforms
4.1 A CPN Model of an RDF Model
4.2 rdf:resource Attribute
4.3 Transformation of a Structured Object
4.4 Reification
5. Simulation
6. Ontology for Indoor Location-Based Service
7. Conclusion
Acknowledgements
References
1. Introduction
2. Literature Review
2.1 RDF
2.2 Colored Petri Net
2.3 Other Related Research Results
3. Our Method of Transformation
4. Examples of Transforms
4.1 A CPN Model of an RDF Model
4.2 rdf:resource Attribute
4.3 Transformation of a Structured Object
4.4 Reification
5. Simulation
6. Ontology for Indoor Location-Based Service
7. Conclusion
Acknowledgements
References
저자정보
참고문헌
자료제공 : 네이버학술정보