Cited in
(only showing first 100 items - show all)- Social ontologies as generalized nearly acyclic directed graphs: a quantitative graph model of social tagging
- SQuARE
- VoCSK
- Quantum machine learning: a classical perspective
- Distributed representation of knowledge graphs with subgraph-aware proximity
- Names are not just sound and smoke: word embeddings for axiom selection
- Superposition as a decision procedure for timed automata
- Superposition decides the first-order logic fragment over ground theories
- Online Updates of Knowledge Graph Embedding
- STransE
- RDF2vec
- VerbNet
- ASER
- CoCoLM
- DISCOS
- TransOMCS
- BoxE
- NeuralKG
- TorchKGE
- Multiple clusterings of heterogeneous information networks
- Ontology-based semantic search on the web and its combination with the power of inductive reasoning
- User-friendly temporal queries on historical knowledge bases
- Open-world probabilistic databases: semantics, algorithms, complexity
- ASER: towards large-scale commonsense knowledge acquisition via higher-order selectional preference over eventualities
- NRCL -- a model building approach to the Bernays-Schönfinkel fragment
- Clustering Boolean tensors
- Knowledge base completion by learning pairwise-interaction differentiated embeddings
- Statistics of RDF store for querying knowledge graphs
- GKC: a reasoning system for large knowledge bases
- pSPARQL: a querying language for probabilistic RDF data
- Unsupervised meta-path selection for text similarity measure based on heterogeneous information networks
- Representations for robot knowledge in the \textsc{KnowRob} framework
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment
- Optimizing model parameter for entity summarization across knowledge graphs
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Representation learning for dynamic graphs: a survey
- On the verification of security-aware E-services
- Harald Ganzinger's legacy: contributions to logics and programming
- A fuzzy clustering method of construction of ontology-based user profiles
- Top-\( k\) queries on RDF graphs
- Using ontologies to enhance human understandability of global post-hoc explanations of black-box models
- Superposition for bounded domains
- An asymmetric knowledge representation learning in manifold space
- Organizing the Web's information explosion to discover unknown unknowns
- Complexity Results for Probabilistic Datalog
- A descriptive type foundation for RDF Schema
- WordNet
- GOOSE
- Darwin
- I-SATCHMO
- E-Darvin
- SPARQL
- MYSTIQ
- TAX
- ConceptNet
- Jena
- Neo4J
- CDuce
- XIRQL
- XSEarch
- Divvy
- Oracle
- Cyc
- MultiWiBi
- A survey of commonsense knowledge acquisition
- Fg-index
- NeMa
- DKAL
- bandit-nmt
- E-KRHyper
- KnowRob
- Saturate
- SRASS
- BioPortal
- GOLEM
- Nasari
- Binder
- Turtle
- BabelNet
- DBpedia
- Freebase
- MENTA
- TripleBit
- Wikipedia Miner
- ProBase
- GermaNet
- GeoNames
- Senseval
- Tuffy
- Wikibase
- AmpliGraph
- pSPARQL
- OpenKE
- HotpotQA
- Pykg2vec
- VICKEY
- Kaskade
- KGAT
- WhiteDB
This page was built for software: YAGO