The Semantics of Generic Terms in Toponyms: Formal Semantics Meets Multi-source Big Data.
Giuseppe SamoFrancesco-Alessio UrsiniPublished in: GeoExT@ECIR (2024)
Keyphrases
- formal semantics
- big data
- multi source
- logical language
- cloud computing
- first order logic
- operational semantics
- data fusion
- data analysis
- social media
- modeling language
- theorem prover
- big data analytics
- data management
- information fusion
- data integration
- business intelligence
- knowledge discovery
- data processing
- data mining
- data warehousing
- multiple sources
- owl dl ontology
- real world
- information processing
- decision support system
- query language
- expert systems
- social networks