Find file History
Permalink
..
Failed to load latest commit information.
algebra corrections to vector spaces and timedurations Jan 14, 2016
allen_interval_algebra Correct typo in axiom in all related input files Aug 29, 2018
approximate_point updated quotes in approximate_point Jun 20, 2018
arithmetic changed plus to sum in arithmetic theories Jan 29, 2015
between updated quotes in Between hierarchy Jun 20, 2018
between_quaternary updated quotes in between_quarternary Jun 20, 2018
betweenness_bundle fixing more typos Feb 4, 2014
biospatial updated biospatial Jun 8, 2016
bipartite_incidence corrected quotes Jun 20, 2018
bounds added closing bracket to bounds.clif Jun 14, 2018
boxworld updated quotes in boxworld and cardworld Jun 20, 2018
cardworld updated quotes in boxworld and cardworld Jun 20, 2018
cayley_graph new hierarchy date_compose Mar 21, 2015
chains_process fixed indentations. Mar 15, 2014
cimosa updated quotes in cimosa Jun 20, 2018
colored_blocks_process fixed indentations. Mar 15, 2014
combinatorial_semigroup updated quotes in combinatorial_semigroup Jun 20, 2018
combined_mereotopology renamed theories in Combined Mereotopology Hierarchy Sep 4, 2017
combined_time updated comments in combined_time with single quotes Jun 20, 2018
commonsense_psychology updated comments in commonsense_psychology with single quotes Jun 20, 2018
component updated comments in component with single quotes Jun 20, 2018
constitution corrected typo in constitution.clif Jun 14, 2018
contact_algebras updated comments in contact_algebras Hierarchy with single quotes Jun 20, 2018
containment updated comments in containment hierarchy with single quotes Jun 20, 2018
containment_bridge updated comments in containment hierarchy with single quotes Jun 20, 2018
cyclic_arithmetic modified theories in successor ad ordered arithmetic Jan 27, 2015
cyclic_geometry appended .clif extension to URIs May 29, 2013
cyclic_ordering appended .clif extension to URIs May 29, 2013
cyclic_process fixed indentations. Mar 15, 2014
date_compose new hierarchy date_compose Mar 21, 2015
date_periodic corrected missing parenthesis Jun 28, 2018
date_time_vocabulary updated comments in DTV with single quotes Jun 20, 2018
density more corrections to FOUnt theories Jun 14, 2018
direct_quality_process fixed indentations. Mar 15, 2014
dolce updated quotes in Dolce hierarchies Jun 20, 2018
dolce_constitution updated quotes in Dolce hierarchies Jun 20, 2018
dolce_dependence updated quotes in Dolce hierarchies Jun 20, 2018
dolce_mereology updated quotes in Dolce hierarchies Jun 20, 2018
dolce_participation updated quotes in Dolce hierarchies Jun 20, 2018
dolce_present updated quotes in Dolce hierarchies Jun 20, 2018
dolce_taxonomy updated quotes in Dolce hierarchies Jun 20, 2018
dolce_temporary_parthood updated quotes in Dolce hierarchies Jun 20, 2018
dolce_time_mereology updated quotes in Dolce hierarchies Jun 20, 2018
dtv_dur_interval updated comments in DTV with single quotes Jun 20, 2018
dtv_duration appended .clif extension to URIs May 29, 2013
dtv_interval updated comments in DTV with single quotes Jun 20, 2018
dtv_mereology updated comments in DTV with single quotes Jun 20, 2018
dtv_occurrence updated comments in DTV with single quotes Jun 20, 2018
dtv_plus updated comments in DTV with single quotes Jun 20, 2018
duration corrections to vector spaces and timedurations Jan 14, 2016
event_calculus update event_calculus modules with URIs May 17, 2013
event_ontology added comments May 12, 2014
extended_psl Update psl_swrl.clif Jun 2, 2015
fount removed redundant/incorrect import statement Jun 13, 2018
gangemi-participation added Gangemi participation ontology May 30, 2014
graph_ordering new graph_ordering hierarchy Jul 13, 2016
graphs updated comments in graphs with single quotes Jun 20, 2018
gwml2 GWML2 - First Import Jul 5, 2016
hilbert_geometry fixed misc typos Jan 26, 2014
inch updated comments in inch with single quotes Jun 20, 2018
incidence_bundle Fixed typos in incidence bundles Jul 1, 2014
incidence_foliation changed incidence foliations to import mereological geometry Feb 14, 2014
incidence_geometry updated comments in incidence_geometry with single quotes Jun 20, 2018
injection_bipartite_process fixed indentations. Mar 15, 2014
interval_meeting new theory in interval meeting Apr 29, 2017
interval_psl updated comments in Interval PSL with single quotes Jun 20, 2018
iof created IOF Hierarchy Aug 3, 2018
lattices updated comments in lattice with single quotes Jun 20, 2018
location_donnelly correction to file name Aug 6, 2017
location_varzi updated comments in location_varzi with single quotes Jun 20, 2018
lode added binary psl theories May 9, 2014
magma added missing imports in inverse_semigroup.clif Apr 18, 2018
mapsee Update magma, mapsee, mereological_bundle, and mereological_foliation… May 18, 2013
mass removed erroneous brackets in amount and mass Jun 14, 2018
material_object Create material_object.clif Jun 14, 2018
matter corrected typos in matter.clif Jun 24, 2018
mcg_process fixed indentations. Mar 15, 2014
mechanical-components updated comments in mechanical_components with single quotes Jun 20, 2018
mereograph new theory in mereograph hierarchy Apr 1, 2017
mereological_bundle fixed error in em_bundle Jul 25, 2013
mereological_foliation modifications to mereological foliation Jun 12, 2013
mereological_geometry corrected typo - point(y) instead of point(x) in the following axiom: Jul 16, 2013
mereology new and modified theories in Mereology Hierarchy Oct 31, 2018
mereotopology updated comments in mereotopology with single quotes Jun 20, 2018
molecular_graph updated most experiment spreadsheets Oct 21, 2018
most updated experiment spreadsheet for most Nov 10, 2018
multidim_mereotopology_codi results for codi_down_theoremsXX added Nov 9, 2018
multidim_mereotopology_codi_length/consistency CODI: existential extensions for proving nontrivial consistency Apr 24, 2018
multidim_mereotopology_codi_relsize relative paths in multidim_mereotopology changed to URLs Feb 4, 2014
multidim_mereotopology_codib multidim_mereotopology_codib: atomic_sphere removed (superseded by co… Aug 29, 2014
multidim_mereotopology_cont Update ontologies/multidim_mereotopology_cont/conversions/cont_basic.p9 Nov 9, 2018
multidim_mereotopology_dim models for multidim_mereotopology_dim added Nov 9, 2018
multidim_mereotopology_omt double-quote comments changed to single-quote comments Aug 29, 2014
multidim_mereotopology_omtb double-quote comments changed to single-quote comments Aug 29, 2014
multidim_mereotopology_zex missing imports added to p, inc, and sc Nov 9, 2018
multidim_occupy corrected typos in multidim_occupy (affects translation into LADR/TPTP) Jun 24, 2018
multidim_space_codi missing imports added to p, inc, and sc Nov 9, 2018
multidim_space_codib updated Prover9 translations for codib Nov 9, 2018
multidim_space_cont Consistency proved of restricted versions of CODI in multidim_space_codi May 1, 2018
multidim_space_dim Consistency proved of restricted versions of CODI in multidim_space_codi May 1, 2018
multidim_space_ped Prover9 translations of multidim_space_ped updated Nov 9, 2018
multidim_space_physcont consistency check results for fullphyscont_full added Nov 9, 2018
multidim_space_space Prover9 translations of multidim_space_space updated Nov 9, 2018
multidim_space_spch Prover9 translations of multidim_space_space updated Nov 9, 2018
multidim_space_voids TPTP conversion for fullphyscont added Nov 9, 2018
multigeometry corrected theories in occupy and multigeometry Hierarchies Aug 30, 2017
multigraphs added closure axiom to pseudograph.clif May 11, 2018
multimereology fixed file name in cl-text May 13, 2014
nebesky_ternary added nebesky models & input files Nov 10, 2018
occupy verification of occupy_root Dec 15, 2017
onto_stit continuing the flattening of the hierarchies May 15, 2013
opo Update opo.clif Aug 3, 2017
ordered_algebra fixing more typos Feb 5, 2014
ordered_arithmetic new theories in successor ad ordered arithmetic Jan 28, 2015
ordered_cayley corrected ordered_cayley Mar 22, 2015
ordered_geometry updated comments in Ordered Geometry Hierarchies with single quotes Jun 20, 2018
ordered_incidence_geometry updated comments in Ordered Geometry Hierarchies with single quotes Jun 20, 2018
ordered_magma fixing more typos Feb 4, 2014
ordered_ringoid new theories in ringoid and ordered_ringoid Jan 29, 2015
orderings new theory quasilattice in Orderings Hierarchy Oct 15, 2018
owltime added uris to owltime hierarchies May 30, 2013
owltime_eventuality added uris to owltime hierarchies May 30, 2013
owltime_inside added uris to owltime hierarchies May 30, 2013
owltime_instants added uris to owltime hierarchies May 30, 2013
owltime_interval updated comments in owltime_interval with single quotes Jun 20, 2018
owltime_timespan added uris to hierarchies May 30, 2013
periods updated comments in periods with single quotes Jun 20, 2018
piece updated comments in piece with single quotes Jun 20, 2018
planar_geometry fixing more typos Jan 30, 2014
planar_mereology fixed typo in planar mereology Jan 28, 2014
poset_bundle new hierarchies for poset_bundle and poset_foliation Nov 8, 2013
poset_foliation new hierarchies for poset_bundle and poset_foliation Nov 8, 2013
process_specification_language updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_actocc updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_actors updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_atomic updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_complex updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_core updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_disc_state updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_duration new theories related to FOUnt Jun 13, 2018
psl_locations updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_occtree additional axioms for OWL subtheory of occtree in PSL Aug 2, 2018
psl_occurrence updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_participates updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_resources Added Resource Role Theories Nov 1, 2018
psl_soo updated comments in PSL hierarchies with single quotes Jun 20, 2018
psl_subactivity updated comments in PSL hierarchies with single quotes Jun 20, 2018
quadripartite_incidence new and corrected theories in tripartite incidence Mar 21, 2014
quality added two new hierarchies: connections, and quality Mar 14, 2014
quivers created new multigraph Hierarchy Aug 15, 2015
rcc_continuous_process updated comments in rcc_continuous_process with single quotes Jun 20, 2018
ringoids Ringoids: Ring and Semiring updated May 1, 2018
shape adjusted weak_card_edge for readability Jun 15, 2018
shapefeature added placeholder file for shapefeature Jun 14, 2018
simple_event_model added binary psl theories May 9, 2014
size modified FOUnt theories Jun 15, 2018
software_measurement_ontology updated comments in SMO with single quotes Jun 20, 2018
space added closing bracket to bounds.clif Jun 14, 2018
standard-units updated comments in standard_units with single quotes Jun 20, 2018
subgraph new subgraph theories analogous to residuated mappings Sep 29, 2017
subposet fixing more typos Feb 5, 2014
subposet_bundle fixed error in sub_bundle Jul 25, 2013
subposet_foliation modified theories Nov 6, 2013
succ_geometry COLORE subdirectory additions phase 3, addition of .clif to URI names… Jun 5, 2013
successor new theories in cayley_graph Feb 23, 2015
sum_arithmetic changed plus to sum in arithmetic theories Jan 29, 2015
sumo updated comments in sumo with single quotes Jun 20, 2018
sumo_timeintervals added axioms missing from sumo_timeintervals Feb 14, 2017
sumo_timepoints new hierarchies, theories, and theorems related to SUMO temporal conc… Mar 8, 2016
tarski_geometry updated comments in tarski_geometry with single quotes Jun 20, 2018
time_interval_incidence COLORE subdirectory additions phase 3, addition of .clif to URI names… Jun 5, 2013
timepoints fixed mistake in url of theories in Timepoints Hierarchy May 29, 2018
transportation Update transportation_network.clif Apr 25, 2018
tripartite_incidence added cycle_path_subgraph_nonisolated in tripartite_incidence for mos… Oct 30, 2018
velocity fixed typos in FOUnt ontologies Jun 14, 2018
vision_cardworld Merge branch 'master' of https://github.com/gruninger/colore Aug 2, 2018
weak_bipartite_process fixed indentations. Mar 15, 2014