Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications.
Katerina KsystraNikolaos TriantafyllouPetros S. StefaneasPanayiotis FrangosPublished in: SMAP (2012)
Keyphrases
- semantic web
- knowledge representation
- owl dl
- web ontology language
- ontology evolution
- semantic web technologies
- ontology engineering
- semantic technologies
- semantically annotated
- semantic annotation
- linked data
- knowledge management
- interchange format
- knowledge base
- knowledge processing
- semantic data
- reasoning tasks
- description logics
- reasoning systems
- ontology mapping
- rdf data
- rdf schema
- ontology mappings
- current web
- automated reasoning
- case study
- using semantic web technologies
- decision making
- semantic web data